A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity by Shawn Hedman

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and…

byShawn Hedman

Paperback | October 6, 2004

not yet rated|write a review

Pricing and Purchase Info

$102.48 online 
$102.95
Earn 512 plum® points

Ships within 1-3 weeks

Ships free on orders over $25

Not available in stores

about

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 inclassical 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 gradedexercises and is ideal for a first or refresher course.

About The Author

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

Details & Specs

Title:A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and…Format:PaperbackDimensions:451 pages, 9.45 × 6.61 × 1.01 inPublished:October 6, 2004Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198529813

ISBN - 13:9780198529811

Look for similar items by category:

Customer Reviews of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Reviews

Extra Content

Table of Contents

Preliminaries1. Propositional Logic2. Structures and First-Order Logic3. Proof Theory4. Properties of First-Order Logic5. First-Order Theories6. Models of Countable Theories7. Computability and Complexity8. The Incompleteness Theorems9. Beyond First-Order Logic10. Finite Model TheoryBibliographyIndex

Editorial Reviews

'an excellent book' Professor Dov Gabbay (King's College, London)