Revisi per 1 Juli 2021 07.20 sunting HsfBot (bicara \| kontrib) Bot 1.172.010 suntingan k replaced: {{Normdaten}} → {{Authority control}} ← Revisi sebelumnya		Revisi per 11 Oktober 2022 21.45 sunting balikkan InternetArchiveBot (bicara \| kontrib) Bot 694.896 suntingan Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2 Revisi selanjutnya →
Baris 167: Dalam terjemahan [[bahasa Inggris]]: * Kurt Godel, 1992. ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems'', tr. B. Meltzer, with a comprehensive introduction by [[:en:R. B. Braithwaite\|Richard Braithwaite]]. Dover reprint of the 1962 Basic Books edition. * Kurt Godel, 2000.<ref>{{cite journal\|doi=10.1007/BF01700692\|author=Kurt Godel \|year=1931\|url=http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf\|title=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I\|trans_title=On formally undecidable propositions of Principia Mathematica and related systems I\|journal=Monatshefte für Mathematik und Physik\|volume= 38\|pages= 173–198\|access-date=2014-12-26\|archive-date=2004-09-16\|archive-url=https://web.archive.org/web/20040916041216/http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf\|dead-url=yes}}</ref> ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems'', tr. Martin Hirzel * [[:En:Jean van Heijenoort\|Jean van Heijenoort]], 1967. ''A Source Book in Mathematical Logic, 1879–1931''. Harvard Univ. Press. ** 1930. "The completeness of the axioms of the functional calculus of logic," 582–91.

Kurt Gödel: Perbedaan antara revisi