A First Course in Logic

• Extensive coverage of the basics of classical logic
• Extremely clear, thorough and accurate
• Ideal textbook for a first or refresher course
• Contains numerous exercises
• Aimed at a broad audience from students of computer science through mathematics, logic and philosophy

Readership: Comprehensive text on the basics of logic for year 3 and 4 undergraduates of mathematics, logic, computer science and philosophy.

Shawn Hedman, Department of Mathematics, Florida Southern College

"'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.'" - Times Higher Education Supplement.

Preliminaries
1: Propositional Logic
2: Structures and First-Order Logic
3: Proof Theory
4: Properties of First-Order Logic
5: First-Order Theories
6: Models of Countable Theories
7: Computability and Complexity
8: The Incompleteness Theorems
9: Beyond First-Order Logic
10: Finite Model Theory
Bibliography
Index