Journals Higher Education
Important We hope you are enjoying our new website. More information about the changes



Published: 08 July 2004

452 Pages


ISBN: 9780198529811

Also Available As:


Bookseller Code (AJ)

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman

Oxford Texts in Logic

  • Extensive coverage of the basics of classical logic
  • Extremely clear, thorough and accurate
  • Ideal textbook for a first or refresher course
  • Contains numerous exercises
  • Aimed at a broad audience from students of computer science through mathematics, logic and philosophy