Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by B. Meltzer. Oliver & Boyd, Edinburgh and London1962, pp. 37–72.
-
Published:1965-09
Issue:3
Volume:30
Page:359-362
-
ISSN:0022-4812
-
Container-title:Journal of Symbolic Logic
-
language:en
-
Short-container-title:J. symb. log.
Author:
Bauer-Mengelberg Stefan
Publisher
Cambridge University Press (CUP)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献