This 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.
Who is it for? Undergraduates in logic, mathematics, philosophy and computer science.
Presentation: The text is clearly laid out and written in an easy-to-read free-flowing style.
Would you recommend it? This is a text that could be used with ease on a variety of UK-based undergraduate courses on logic, from introductory first year to final-year specialised. The logical steps are often explained in plain English. I would certainly recommend it as a textbook.
Chris Howls is senior lecturer in applied mathematics at Southampton University.
Mathematical Logic. First Edition
Author - Ian Chiswell and Wilfred Hodges
Publisher - Oxford University Press
Pages - 296
Price - £75.00 and £29.50
ISBN - 9780198571001 and 9215621