0
A Course in Mathematical Logic
1st Edition
Authors:
J.L. Bell
M. Machover
eBook ISBN: 9780080934747
Hardcover ISBN: 9780720428445
Paperback ISBN: 9781493302819
Imprint: North Holland
Published Date: 1st January 1977
Page Count: 620
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
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.
Details
- No. of pages:
- 620
- Language:
- English
- Copyright:
- © North Holland 1977
- Published:
- 1st January 1977
- Imprint:
- North Holland
- eBook ISBN:
- 9780080934747
- Hardcover ISBN:
- 9780720428445
- Paperback ISBN:
- 9781493302819
About the Author
J.L. Bell
M. Machover
Reviews
@qu:The book is valuable for anyone interested in mathematical logic and may serve as a reference source for graduate students and specialists. @source:Zentralblatt für Mathematik
Request Quote
Tax Exemption
We cannot process tax exempt orders online. If you wish to place a tax exempt order
please contact us.