Filter
Matematisk logik
Filter
In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are …
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 …
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 …