A Course in Mathematical Logic
- 1st Edition - January 1, 1977
- Latest edition
- Authors: J.L. Bell, M. Machover
- Language: English
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is… Read more
World Book Day celebration
Where learning shapes lives
Up to 25% off trusted resources that support research, study, and discovery.
Description
Description
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
Table of contents
Table of contents
1. Beginning Mathematical Logic. 2. First-Order Logic. 3. First-Order Logic (continued). 4. Boolean Algebras. 5. Model Theory. 6. Recursion Theory. 7. Logic - Limitative Results. 8. Recursion Theory (continued). 9. Intuitionistic First-Order Logic. 10. Axiomatic Set Theory. 11. Nonstandard Analysis. Bibliography.
Review quotes
Review quotes
"The book is valuable for anyone interested in mathematical logic and may serve as a reference source for graduate students and specialists."—Zentralblatt für Mathematik
Product details
Product details
- Edition: 1
- Latest edition
- Published: January 1, 1977
- Language: English