Write to the booksellers2 books for « bridge jane »Edit
Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)
Oxford university press 1977 152 pages 15 748x1 778x23 622cm. 1977. Cartonné jaquette. 152 pages.
Bon état intérieur prorpe avec sa jaquette (dos insolé)
Beginning Model Theory - The Completeness Theorem and Some Consequences
Clarendon Press - Oxford , Oxford Logic Guides Malicorne sur Sarthe, 72, Pays de la Loire, France 1977 Book condition, Etat : Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 151 pages
1st edition Contents, Chapitres : Preface, Contents, viii, Text, 143 pages - Introduction : Background set theory - 1. Relational structures : Definitions and examples - The first order language associated with a relational structure - Interpretations - 2. Formal system for the predicate calculus : Axioms and rules for the predicate calculus - Consistency - Language and metalanguage - Further metatheory - First order theory with equality - 3. The completeness theorem and its corollaries : Definitions and outlines of the proof - Completeness for countable languages - Countable languages Le with equality - Completeness for uncountable languages - Applications for the compacteness theorem - Completeness for the propositional calculus - 4. Beginning Model Theory : The Löwenheim-Skolem theorems - Completeness and categoricity - Elementary embeddings and model completeness - Completeness and decidability the spine of the jacket had lots its colors (discoloration), else fine copy
