Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Go del /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
Elsevier Science,
|
Publisher Address: | Dordrecht : |
Publication Dates: | 1952. |
Literature type: | eBook |
Language: | English |
Series: |
Studies in logic and the foundations of mathematics ; v. 10 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/10 |
Carrier Form: | 1 online resource (v, 117 pages). |
Bibliography: | Includes bibliographical references. |
ISBN: |
9780444533753 0444533753 |
Index Number: | QA9 |
CLC: | O141 |
Contents: | 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. |