01039nam a22002177a 450000500170000000800410001702000180005802801040007602800910018008200140027110000180028524501020030326000420040530000290044736500080047636500080048450002710049265000170076365000230078070000180080320220408102425.0200705b ||||| |||| 00| 0 eng d a9780486669809 a:Atlantic Publishers & Distributorsb: 7/22 Ansari Road Darya Ganj New Delhi c:1111306d:17/03/20 a:Technical Bureau India Pvt. Ltd. b:E/261, Shastri Nagar Delhic:TB5906d:31/03/2022  a510.1 GOD aGödel, Kurt aOn Formally Undecidable Propositions of Principia Mathematica and Related Systemsc/ Kurt Gödel aNew Yorkb:Dover Publications,c 1992 aviii, 72 pages c; 21 cm b771 b784 aTranslation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198. Reprint. Originally published: New York : Basic Books, ©1962. a Mathematics aGödel's theorem. aGödel, Kurt