A Course in Mathematical Logic
1st Edition
Secure Checkout
Personal information is secured with SSL technology.Free Shipping
Free global shippingNo minimum order.
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
- Hardcover ISBN:
- 9780720428445
- Paperback ISBN:
- 9781493302819
About the Authors
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
Ratings and Reviews
Request Quote
Tax Exemption
Elsevier.com visitor survey
We are always looking for ways to improve customer experience on Elsevier.com.
We would like to ask you for a moment of your time to fill in a short questionnaire, at the end of your visit.
If you decide to participate, a new browser tab will open so you can complete the survey after you have completed your visit to this website.
Thanks in advance for your time.