Home | Site map | Elsevier websites | Alerts
Elsevier
Product information search
Search all Elsevier sites
Search
Advanced Product Search
Go to Elsevier home page
SiteStat.jsp
A COURSE IN MATHEMATICAL LOGIC
A Course in Mathematical LogicTo order this title, and for more information, click here

By
J.L. Bell
M. Machover

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.

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.

Bibliographic details
Hardbound, publication date: JAN-1977
ISBN-13: 978-0-7204-2844-5
ISBN-10: 0-7204-2844-0
Imprint: NORTH-HOLLAND

Price and Ordering
Price:
EUR 122
GBP 81
USD 144
order now
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.

050/500
Last update: 26 Sep 2008
Book contents
Table of contents
Reviews
View other people's reviews
Submit your review
Bookmark this page
Recommend this publication
Overview of all books
Printer-friendly version   Printer-friendly version
 Home | Site map | Privacy policy | Terms and Conditions | Feedback | A Reed Elsevier company
 Copyright © 2008 Elsevier B.V. All rights reserved.