1 books for « adamowicz zofia and ... »Edit

‎Logic of Mathematics - A Modern Course of Classical Logic‎

‎John Wiley and Sons , A Wiley-Interscience Publication - Pure and Applied Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1977 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 268 pages‎

‎ 1st edition Contents, Chapitres : Preface, Contents, viii, Text, 260 pages - 1. Mathematical structures and their theories : Relational systems - Boolean algebras - Subsystems and homomorphisms - Operations on relational systems - Terms and formulas - Theories and models - Substitution of terms - Theorems and proofs - Theorems of the logical calculus - Generalization rule and elimination of constants - The completeness of the logical calculus - Definability - Peano arithmetic - Skolem-Löwenheim theorems - Ultraproducts - Types of elements - 2. Selected topics : Defining functions in N - Total functions - Incompleteness consistency - Independence of Goodstein's theorem - Tarski's theorem - Matiyasevich's theorem Near fine copy, no markings‎