A model to be followed 4

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.