A K Peters/CRC Press 1998 264 pages 15 24x1 78x22 61cm. 1998. Broché. 264 pages.
Reference : 100137765
proche du neuf ex-libris légères ternissures sur la tranche
Un Autre Monde
M. Emmanuel Arnaiz
07.69.73.87.31
Conformes aux usages de la librairie ancienne.
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