J. L. Bell, M. Machover

A Course in Mathematical Logic (eBook, PDF)

• Format: PDF

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Elsevier Science & Techn.
• Seitenzahl: 620
• Erscheinungstermin: 1. Januar 1977
• Englisch
• ISBN-13: 9780080934747
• Artikelnr.: 68018800

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