Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
- Available as
- Online
Details
- Creator
- edited by Andrzej Mostowski
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Dordrecht : Elsevier Science, 1952
- Physical Details
-
- 1 online resource (v, 117 pages)
- data file
- ISBNs
- 9780444533753, 0444533753
- OCLC
- ocn428097398
- Includes bibliographical references.
- Auxiliary notions and theorems of arithmetic -- System (S) and its syntax -- Arithmetical theorems proable in (S) -- Semantics of (S) -- Recursivity and definability of functions and relations -- Proofs of incompleteness theorems