A course on mathematical logic /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York, NY :
Springer,
c2008.
|
| Subjects: |
Table of Contents:
- 1. Syntax of first-order logic
- 2. Semantics of first-order languages
- 3. Propositional logic
- 4. Proof and metatheorems in first-order logic
- 5. Completeness theorem and model theory
- 6. Recursive functions and arithmetization of theories
- 7. Incompleteness theorems and recursion theory.