Logic and Structure

A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic on the basis of Gentzen's Natural Deduction and the traditional two-valued semantics, culminating in the completeness theorems. The first chapter, containing a leisured treatment of propositional logic, is followed by an equally elaborate chapter on predicate logic. On the basis of the material of the first two chapters the completeness theorem is established and an excursion is made into model theory. The main facts of model theory, e.g. compactness, Skolem-Lowenheim, elementary equivalence, non-standard models, quantified elimination and Skolem functions are covered in Chapter Three. The exposition of classical logic is rounded off with a concise exposition of second-order logic.