Hermes, Hans
Introduction to Mathematical Logic - Berlin Springer-Verlag 1973 - xi, 242p
Translated from German by Diana Schmidt
I. Introduction.- II. The Language of Predicate Logic.- III. The Semantics of Predicate Logic.- IV. A Predicate Calculus.- V. Goedel's Completeness Theorem.- VI. Peano's Axiom System.- VII. Extensions of the Language, Normal Forms.- VIII. The Theorems of A. Robinson, Craig and Beth.- IX. Miscellaneous.- Further Reading.- Index of Abbreviations for Defining and Derived Rules.- Notation.- Name and Subject Index.
however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it.
3540058192
Mathematical Logic
510.6 / HER
Introduction to Mathematical Logic - Berlin Springer-Verlag 1973 - xi, 242p
Translated from German by Diana Schmidt
I. Introduction.- II. The Language of Predicate Logic.- III. The Semantics of Predicate Logic.- IV. A Predicate Calculus.- V. Goedel's Completeness Theorem.- VI. Peano's Axiom System.- VII. Extensions of the Language, Normal Forms.- VIII. The Theorems of A. Robinson, Craig and Beth.- IX. Miscellaneous.- Further Reading.- Index of Abbreviations for Defining and Derived Rules.- Notation.- Name and Subject Index.
however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it.
3540058192
Mathematical Logic
510.6 / HER