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.
Please Note: This is an On Demand product, delivery may take up to 11 working days after payment has been received.
Limitative Results. 8. Recursion Theory (continued). 9. Intuitionistic First-Order Logic. 10. Axiomatic Set Theory. 11. Nonstandard Analysis. Bibliography.