Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Author(s)

• Mostowski, Andrzhei︠a︡

Bibliographic Information

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Andrzej Mostowski

（Studies in logic and the foundations of mathematics）

Greenwood Press, 1982

Note

Bibliography: : p. [116]-117

Reprint ed. Originally published: Amsterdam : North-Holland , 1952

Details

• NCID: BA13738555
• ISBN:
  • 0313231516
• LCCN: 82011886
• Country Code: us
• Title Language Code: eng
• Place of Publication: Westport
• Pages/Volumes: viii, 117 p.; 23 cm
• Classification:
  • LCC : BC135
  • DC : 164
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Semantics (Philosophy)
  • LCSH : Gödel's theorem
• Parent Bibliography ID:
  • BA00099329