AI & BIG DATA
Shaping today's innovations
Save up to 25% on AI & Big Data books, eBooks & Journals
A Course in Mathematical Logic
- 1st Edition - January 1, 1977
- Authors: J.L. Bell, M. Machover
- Language: English
- Paperback ISBN:9 7 8 - 1 - 4 9 3 3 - 0 2 8 1 - 9
- Hardback ISBN:9 7 8 - 0 - 7 2 0 4 - 2 8 4 4 - 5
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 3 4 7 4 - 7
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… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteA 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.
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.
- No. of pages: 620
- Language: English
- Edition: 1
- Published: January 1, 1977
- Imprint: North Holland
- Paperback ISBN: 9781493302819
- Hardback ISBN: 9780720428445
- eBook ISBN: 9780080934747