G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 265–285.
-
Published:1953-06
Issue:2
Volume:18
Page:180-181
-
ISSN:0022-4812
-
Container-title:Journal of Symbolic Logic
-
language:en
-
Short-container-title:J. symb. log.
Publisher
Cambridge University Press (CUP)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. INCOMPLETENESS VIA PARADOX AND COMPLETENESS;The Review of Symbolic Logic;2019-05-23