Filter
Matematisk logik
Filter
Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical …
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 …
"The book is extremely pleasant to read, with masterfully crafted exercises and examples that create a beautiful and unique thread of presentation leading the reader safely into …
This book chronicles the work of mathematician Ernst Zermelo (1871-1953) and his development of set theory's crucial principle, the axiom of choice. It covers the axiom's …
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 …