A Course in Mathematical Logic

Erscheinungsjahr 1977
ISBN: 978-0-7204-2844-5
Verlag: Elsevier Science & Technology

Buch, Englisch, 620 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1120 g

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.

Autoren/Hrsg.

Bell, J. L.

Machover, Moshe

Machover, M.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik

Inhaltsverzeichnis

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.