Description
- Print length: 319 pages
- Language: English
- Publisher: Springer Nature Switzerland AG
- Publication date: 16 March 2023
- Dimensions: 17.8 x 1.88 x 25.4 cm
- ISBN-10: 3030790126
- ISBN-13: 978-3030790127
Original price was: ₹5,226.45.₹4,703.81Current price is: ₹4,703.81.
Explore the depths of classical Mathematical Logic with ‘Mathematical Logic: Exercises and Solutions.’ This comprehensive problem book, curated by an experienced instructor, offers over 30 years of teaching material. Delve into foundational topics like set theory, automata, and recursion theory before advancing to propositional and first-order logic. Master key concepts such as compactness, completeness, quantifier elimination, ultraproducts, and axiomatizability. The Arithmetic section covers Robinson’s theory, Peano axioms, and Gödel’s incompleteness theorems. Ideal for students seeking to understand and apply logic, and for instructors looking for engaging exercises. This volume is perfect for anyone interested in the mathematical content and methodology behind logic, featuring applications and proofs of major theorems. Enhance your understanding with this invaluable resource from The Bookish Owl.
5 in stock