A model to be followed 4

Mathematical Logic. First Edition
November 23, 2007

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

Please login or register to read this article

Register to continue

Get a month's unlimited access to THE content online. Just register and complete your career summary.

Registration is free and only takes a moment. Once registered you can read a total of 3 articles each month, plus:

  • Sign up for the editor's highlights
  • Receive World University Rankings news first
  • Get job alerts, shortlist jobs and save job searches
  • Participate in reader discussions and post comments

Have your say

Log in or register to post comments