J.L. Bell, M. Machover

A Course in Mathematical Logic

• Gebundenes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Elsevier Science & Technology / North Holland
• Artikelnr. des Verlages: C2009-0-08539-0
• 1977.
• Englisch
• Abmessung: 32mm x 156mm x 234mm
• Gewicht: 1120g
• ISBN-13: 9780720428445
• ISBN-10: 0720428440
• Artikelnr.: 21596528

Inhaltsangabe

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.

Rezensionen

"The book is valuable for anyone interested in mathematical logic and may serve as a reference source for graduate students and specialists." --Zentralblatt für Mathematik