Filter
Matematisk logik
Filter
This classic treatment covers most aspects of first-order model theory and many of its applications to algebra and set theory. Extensively updated and corrected in 1990 to …
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal …
This volume concentrates on the structure of Boolean algebras and rings as developed through simpler algebraic systems. The algebra of logic and set theory appears as applications …
If you've ever tried to solve mathematical problems without any idea how to go about it, this book is for you. It will improve your ability to solve all kinds of mathematical …
Twelve essays take a playful approach to the subject, exploring how to play poker over the telephone without the possibility of cheating, how to distinguish plausible fallacies …