A Course in Mathematical Logic

A Course in Mathematical Logic

1st Edition - January 1, 1977

Write a review

  • Authors: J.L. Bell, M. Machover
  • Hardcover ISBN: 9780720428445

Purchase options

Purchase options
Available
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No 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.

Product details

  • No. of pages: 620
  • Language: English
  • Copyright: © North Holland 1977
  • Published: January 1, 1977
  • Imprint: North Holland
  • Hardcover ISBN: 9780720428445

About the Authors

J.L. Bell

M. Machover

Ratings and Reviews

Write a review

There are currently no reviews for "A Course in Mathematical Logic"