Mathematical Logic

• Based on the authors' extensive teaching on the subject
• Practical examples are given for each idea as it is introduced
• Methods and concepts are introduced intuitively in terms of actual mathematical practice, but then developed rigorously
• Extensive exercises are presented along with selected solutions

Readership: Undergraduate students in Logic, Mathematics, Philosophy, and Computer Science

Ian Chiswell, Queen Mary, University of London, and Wilfrid Hodges, Queen Mary, University of London

"Mathematical Logic is crisply written and is a pleasure to read. ..Chiswell and Hodges' book is at the very top of the reading list." - Michael Berg, MAA Online

"The text is clearly laid out and written in an easy-to-read free-flowing style." - Times Higher Education Supplement

Preface
1: Prelude
2: Informal natural deduction
3: Propositional logic
4: First interlude: Wason's Selection Task
5: Quantifier-free logic
6: Second interlude: The Linda Problem
7: First-order logic
8: Postlude
A: The natural deduction rules
B: Denotational semantics
C: Solutions to some exercises
Index