ABSTRACT

"This strikes me as in many ways an excellent book...Zalabardo writes clearly and motivates the main ideas well... The number and variety of the excercises is a strength of the book. The instructor has room to choose excercises to suit the needs and abilities of the students"

chapter 1|35 pages

The Elements

chapter 2|40 pages

Propositional Logic

chapter 3|41 pages

First-Order Logic: Syntax and Semantics

chapter 4|32 pages

Deduction

chapter 5|40 pages

Soundness and Completeness

chapter 6|61 pages

Cardinality

chapter 7|42 pages

Expressive Limitations

chapter 8|29 pages

Decidability