Here's a sample of other books in this Dover category
| |  First Order Mathematical Logic
by Angelo Margaris
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.
all books in Logic
| |
|  An Introduction to Stability Theory
by Anand Pillay
This introductory treatment covers the basic concepts and machinery of stability theory. Full of examples, theorems, propositions, and problems, it is suitable for graduate students, professional mathematicians, and computer scientists.1983 edition.
all books in Mathematics
| |
| |  Set Theory and the Continuum Hypothesis
by Paul J. Cohen
This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The award-winning author employs intuitive explanations and detailed proofs in this self-contained treatment. 1966 edition. Copyright renewed 1994.
all books in Set Theory
| |
|  Satan, Cantor and Infinity: Mind-Boggling Puzzles
by Raymond M. Smullyan
A renowned mathematician tells stories of knights and knaves in an entertaining look at the logical precepts behind infinity, probability, time, and change. Requires a strong background in mathematics. Complete solutions.
all books in Logic
| |
| |  Abstract and Concrete Categories: The Joy of Cats
by Jiri Adamek, Horst Herrlich, George E Strecker
This up-to-date introductory treatment employs category theory to explore the theory of structures. Its unique approach stresses concrete categories and presents a systematic view of factorization structures. Numerous examples. 1990 edition, updated 2004.
all books in Reference
| |
|
|
