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



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 08 July 2004

452 Pages


ISBN: 9780198529804

Also Available As:


Bookseller Code (AQ)

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