Offshore
 Welding
 Materials
 Technology
 Science
 Engineering
 Business & Economics
 Computers
 Reference
 Mathematics
 Architecture
 Photography
 Transportation
 Catalogues
 

Publications » Computers » Information Theory

A COURSE IN MATHEMATICAL LOGIC

Price £81.00

temporarily out of stock

A COURSE IN MATHEMATICAL LOGIC

J.L. Bell, M. Machover

ISBN 0720428440
Pages 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.

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.