Write to the booksellers2 books for « goldstern martin juda... »Edit
-
Topics
Logic (2)
Philosophy (1)
The Incompleteness Phenomenon: A New Course in Mathematical Logic
A K Peters/CRC Press 1998 264 pages 15 24x1 78x22 61cm. 1998. Broché. 264 pages.
proche du neuf ex-libris légères ternissures sur la tranche
The Incompleteness Phenomenon - A New Course in Mathematical Logic
A.K. Peters Malicorne sur Sarthe, 72, Pays de la Loire, France 1998 Book condition, Etat : Très Bon paperback, editor's printed wrappers In-8 1 vol. - 260 pages
Contents, Chapitres : Contents, Foreword, Introduction, xiii, Text, 247 pages - 1. The framework of logic : Induction - Semantic logic - First order logic - Proof systems - 2. Completeness : Enumerability - The completeness theorem - Nonstandard models of arithmetic - 3. Model theory : Elementary substructures and chains - Ultraproducts and compactness - Types and countable models - 4. The incompleteness theorem : The language of Peano arithmetic - The axioms of Peano arithmetic - Basic theorems of number theory in PA - Econding finite sequences of numbers - Gödel numbers - Substitution - The incompleteness theorem - Other axiom systems - Bounded formulas - A finer analysis of 4.4 and 4.5 - More on recursive sets and functions Near fine copy, no markings
