TY  - BOOK
AU  - Hermes, Hans
TI  - Introduction to Mathematical Logic
SN  - 3540058192
PY  - 1973///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical Logic
N1  - 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
N2  - 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
ER  -