|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
2331435 |
| 003 |
ICU |
| 005 |
20030520134000.0 |
| 008 |
950926s1995 maua 001 0 eng u |
| 010 |
|
|
|a 93039361
|
| 020 |
|
|
|a 1568810296
|
| 035 |
|
|
|a (ICU)BID21206288
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d OrLoB-B
|d OCoLC
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
0 |
|a QA9.54
|b .J83 1995
|
| 082 |
0 |
0 |
|a 511.3
|2 20
|
| 100 |
1 |
|
|a Goldstern, Martin.
|0 http://id.loc.gov/authorities/names/n93103144
|1 http://viaf.org/viaf/7632495
|
| 245 |
1 |
4 |
|a The incompleteness phenomenon :
|b a new course in mathematical logic /
|c Martin Goldstern, Haim Judah.
|
| 260 |
|
|
|a Wellesley, Mass. :
|b A K Peters,
|c c1995.
|
| 300 |
|
|
|a xiii, 247 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 500 |
|
|
|a Includes index.
|
| 505 |
0 |
0 |
|g 1.
|t The Framework of Logic.
|g 1.1.
|t Induction.
|g 1.2.
|t Sentential Logic.
|g 1.3.
|t First Order Logic.
|g 1.4.
|t Proof Systems --
|g 2.
|t Completeness.
|g 2.1.
|t Enumerability.
|g 2.2.
|t The Completeness Theorem.
|g 2.3.
|t Nonstandard Models of Arithmetic --
|g 3.
|t Model Theory.
|g 3.1.
|t Elementary Substructures and Chains.
|g 3.2.
|t Ultraproducts and Compactness.
|g 3.3.
|t Types and Countable Models --
|g 4.
|t The Incompleteness Theorem.
|g 4.1.
|t The Language of Peano Arithmetic.
|g 4.2.
|t The Axioms of Peano Arithmetic.
|g 4.3.
|t Basic Theorems of Number Theory in PA.
|g 4.4.
|t Encoding Finite Sequences of Numbers.
|g 4.5.
|t Godel Numbers.
|g 4.6.
|t Substitution.
|g 4.7.
|t The Incompleteness Theorem.
|g 4.8.
|t Other Axiom Systems.
|g 4.9.
|t Bounded Formulas.
|g 4.10.
|t A Finer Analysis of 4.4 and 4.5.
|g 4.11.
|t More on Recursive Sets and Functions.
|
| 650 |
|
0 |
|a Incompleteness theorems.
|0 http://id.loc.gov/authorities/subjects/sh85064795
|
| 650 |
|
7 |
|a Incompleteness theorems.
|2 fast
|0 http://id.worldcat.org/fast/fst00968811
|
| 700 |
1 |
|
|a Judah, H.
|q (Haim)
|0 http://id.loc.gov/authorities/names/n92070327
|1 http://viaf.org/viaf/66553983
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 035 |
|
|
|a (OCoLC)29254857
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 805ea72a-9875-5adc-8244-fab898ed59cc
|s c0901bd1-f3eb-50bd-aafa-64a38e5e94f4
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.54.J830 1995
|l Eck
|c Eck-Eck
|i 3453375
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.54.J830 1995
|l Eck
|c Eck-Eck
|b 42936305
|i 3983971
|
