A Course in Mathematical Logic
Published on 1. January 1977
620 pages
978-0-08-093474-7 (ISBN)
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.
More details
Other editions
Additional editions
J. L. Bell | M. Machover
A Course in Mathematical Logic
Book
02/1977
North-Holland
€87.11
Article exhausted; check different version
J.L. Bell | M. Machover
A Course in Mathematical Logic
Book
01/1977
North-Holland Publishing Co
€61.00
Shipment within 15-20 days
Content
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.
