A First Course in Logic

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

By: Shawn Hedman

Write A Review

Paperback | 1 September 2004

At a Glance

Paperback
452 Pages

Dimensions(cm)
24.4 x 17.2 x 2.2

Paperback

$95.65

or 4 interest-free payments of $23.91 with

Ships in 5 to 7 business days

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

Industry Reviews

'a clear and unifying treatment of fundamental concepts underlying Computer Sciences and Foundations of Mathematics' Professor Boris Zilber (Professor of Mathematical Logic, University of Oxford) 'an excellent book' Professor Dov Gabbay (King's College, London)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.