Zalabardo J.L. Introduction to the Theory of Logic

Boulder: Westview Press, 2000. — 345 p.
ISBN 0813390613. Учебник является введением в классическую логику высказываний и классическую логику предикатов первого порядка. Уделяется внимание как исчислениям, так и семантике (с разбором соответствующих теорем). Также обсуждается вопрос о связи логики с теорией множеств. Рассматривается проблема разрешимости. The elements.
Propositional logic.
First-order logic.
Syntax and semantics.
Deduction.
Soundness and Completeness.
Cardinality.
Expressive limitation.
Decidability.