 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
|  |
| |  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
| |
|
 Elementary Induction on Abstract Structures
by Yiannis N. Moschovakis
Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.
all books in Logic
| |
| |  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
| |
|
| |  Logic for Mathematicians
by J. Barkley Rosser
Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulletin of the American Mathematical Society. 1978 edition.
all books in Logic
| |
|
 Mathematical Logic: A First Course
by Joel W. Robbin
This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
all books in Logic
| |
| | |
 Natural Deduction: A Proof-Theoretical Study
by Dag Prawitz
The author of this study formulated the theories behind intuitionistic type theory and modern proof-theoretic semantics. He explains the principles of his proof-theoretical system, and he illustrates its applications to natural deduction. 1965 edition.
all books in Logic
| |
| |  The Mathematics of Games
by John D. Beasley
Lucid, instructive, and full of surprises, this book examines how simple mathematical analysis can throw unexpected light on games of every type, from poker to golf to the Rubik's cube. 1989 edition.
all books in Game Theory
| |
|
 The Elements of Mathematical Logic
by Paul C. Rosenbloom
This excellent introduction to mathematical logic provides a sound knowledge of the most important approaches, stressing the use of logical methods. "Reliable." — The Mathematical Gazette. 1950 edition.
all books in Logic
| |
| |  A Profile of Mathematical Logic
by Howard DeLong
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this work.
all books in Logic
| |
|
 Basic Concepts of Mathematics and Logic
by Michael C. Gemignani
Intended as a first look at mathematics at the college level, this text emphasizes logic and set theory — counting, numbers, functions, ordering, probabilities, and other components of higher mathematics.
all books in Logic
| |
| | |
