Journals Higher Education



Published: 12 July 2007

296 Pages

ISBN: 9780198571001

Also Available As:


Bookseller Code (06)

Mathematical Logic

Ian Chiswell and Wilfrid Hodges

Oxford Texts in Logic

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in logic, mathematics, philosophy, and computer science.


Also of Interest