A Course in Mathematical Logic
Verlag | Elsevier Science & Technology |
Auflage | 1977 |
Format | 15,6 x 3,2 x 23,4 cm |
Gewicht | 1120 g |
Artikeltyp | Englisches Buch |
EAN | 9780720428445 |
Bestell-Nr | 72042844EA |
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.
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.
Rezension:
"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