A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Hedman, Shawn

ISBN 10: 0198529813 / ISBN 13: 9780198529811

Published by Oxford University Press, 2004

About this Item

Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Seller Inventory # 000712492U

Bibliographic Details

• Title: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
• Publisher: Oxford University Press
• Publication Date: 2004
• Language: English
• ISBN 10: 0198529813
• ISBN 13: 9780198529811
• Binding: paperback
• Edition: 1st Edition.
• Condition: Good

About this title

Synopsis

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.

About the Author

Shawn Hedman is in the Department of Mathematics, Florida Southern College.