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

by Shawn Hedman

Overview

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.

Product Details

ISBN-13:	9780198529811
Publisher:	Oxford University Press
Publication date:	09/09/2004
Series:	Oxford Texts in Logic , #1
Edition description:	New Edition
Pages:	452
Product dimensions:	9.40(w) x 6.58(h) x 0.99(d)

About the Author

Florida Southern College

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