COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
A Course in Mathematical Logic - 1st Edition - ISBN: 9780720428445

A Course in Mathematical Logic

1st Edition

Authors: J.L. Bell M. Machover
Hardcover ISBN: 9780720428445
Paperback ISBN: 9781493302819
Imprint: North Holland
Published Date: 1st January 1977
Page Count: 620
Sales tax will be calculated at check-out Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


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.


No. of pages:
© North Holland 1977
1st January 1977
North Holland
Hardcover ISBN:
Paperback ISBN:

About the Authors

J.L. Bell

M. Machover


@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