A First Course In Logic An Introduction To Model Theory,
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
- Description
- Features
- Contents
- Authors
- Reviews
- Lecturer Resources
- Teacher Resources
- Student Resources
- Sample Pages
- ebook
Preliminaries
1. Propositional Logic
2. Structures and First-Order Logic
3. Proof Theory
4. Properties of First-Order Logic
5. First-Order Theories
6. Models of Countable Theories
7. Computability and Complexity
8. The Incompleteness Theorems
9. Beyond First-Order Logic
10. Finite Model Theory
Bibliography
Index
Shawn Hedman , Department of Mathematics, Florida Southern College
'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)