Items related to Sentences Undecidable in Formalized Arithmetic: An...
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel - Hardcover
Synopsis
The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
"synopsis" may belong to another edition of this title.
- PublisherPraeger
- Publication date1982
- ISBN 10 0313231516
- ISBN 13 9780313231513
- BindingHardcover
- LanguageEnglish
- Number of pages117
Search results for Sentences Undecidable in Formalized Arithmetic: An...
Seller Image
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Seller: Lavendier Books, Foster, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Greenwood Press, Publishers; Westport, 1982. Hardcover. Reprint Edition. Near Fine, maroon binding with gilt lettering on spine, binding firm, interior and extremities tidy, minimal use/handling marks, book appears unread, mild sunning to pages, without dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches], 117pp., bibliography. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Seller Inventory # SKU1025663
Quantity: 1 available