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

Paperback | October 6, 2004

byShawn Hedman

not yet rated|write a review
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.

Pricing and Purchase Info

$101.33 online
$102.95 list price
Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

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, thorou...

Shawn Hedman is in the Department of Mathematics, Florida Southern College.
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)