E. W. Beth. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 (1956), pp. 357–388.
-
Published:1957-12
Issue:4
Volume:22
Page:363-365
-
ISSN:0022-4812
-
Container-title:Journal of Symbolic Logic
-
language:en
-
Short-container-title:J. symb. log.
Publisher
Cambridge University Press (CUP)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally Computing with the Non-computable;Lecture Notes in Computer Science;2021
2. Bibliography;The Foundations of Intuitionistic Mathematics;1965