Coverart for item
The Resource The incompleteness phenomenon : a new course in mathematical logic, Martin Goldstern, Haim Judah

The incompleteness phenomenon : a new course in mathematical logic, Martin Goldstern, Haim Judah

Label
The incompleteness phenomenon : a new course in mathematical logic
Title
The incompleteness phenomenon
Title remainder
a new course in mathematical logic
Statement of responsibility
Martin Goldstern, Haim Judah
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Goldstern, Martin
Dewey number
511.3
Illustrations
illustrations
Index
index present
LC call number
QA9.54
LC item number
.J83 1995
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Judah, H.
http://library.link/vocab/subjectName
Incompleteness theorems
Label
The incompleteness phenomenon : a new course in mathematical logic, Martin Goldstern, Haim Judah
Instantiates
Publication
Note
Includes index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. The Framework of Logic. 1.1. Induction. 1.2. Sentential Logic. 1.3. First Order Logic. 1.4. Proof Systems -- 2. Completeness. 2.1. Enumerability. 2.2. The Completeness Theorem. 2.3. Nonstandard Models of Arithmetic -- 3. Model Theory. 3.1. Elementary Substructures and Chains. 3.2. Ultraproducts and Compactness. 3.3. Types and Countable Models -- 4. The Incompleteness Theorem. 4.1. The Language of Peano Arithmetic. 4.2. The Axioms of Peano Arithmetic. 4.3. Basic Theorems of Number Theory in PA. 4.4. Encoding Finite Sequences of Numbers. 4.5. Godel Numbers. 4.6. Substitution. 4.7. The Incompleteness Theorem. 4.8. Other Axiom Systems. 4.9. Bounded Formulas. 4.10. A Finer Analysis of 4.4 and 4.5. 4.11. More on Recursive Sets and Functions
Control code
29254857
Dimensions
24 cm
Extent
xiii, 247 pages
Isbn
9781568810294
Lccn
93039361
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(OCoLC)29254857
Label
The incompleteness phenomenon : a new course in mathematical logic, Martin Goldstern, Haim Judah
Publication
Note
Includes index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. The Framework of Logic. 1.1. Induction. 1.2. Sentential Logic. 1.3. First Order Logic. 1.4. Proof Systems -- 2. Completeness. 2.1. Enumerability. 2.2. The Completeness Theorem. 2.3. Nonstandard Models of Arithmetic -- 3. Model Theory. 3.1. Elementary Substructures and Chains. 3.2. Ultraproducts and Compactness. 3.3. Types and Countable Models -- 4. The Incompleteness Theorem. 4.1. The Language of Peano Arithmetic. 4.2. The Axioms of Peano Arithmetic. 4.3. Basic Theorems of Number Theory in PA. 4.4. Encoding Finite Sequences of Numbers. 4.5. Godel Numbers. 4.6. Substitution. 4.7. The Incompleteness Theorem. 4.8. Other Axiom Systems. 4.9. Bounded Formulas. 4.10. A Finer Analysis of 4.4 and 4.5. 4.11. More on Recursive Sets and Functions
Control code
29254857
Dimensions
24 cm
Extent
xiii, 247 pages
Isbn
9781568810294
Lccn
93039361
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(OCoLC)29254857

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...