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.