 |  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. read more
| $14.95 |  |
|
|  Undecidable Theories: Studies in Logic and the Foundation of Mathematics
by Raphael M. Robinson
Alfred Tarski
Andrzej Mostowski
This well-known book by the famed logician consists of three treatises: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups." 1953 edition. read more
| $12.95 | |
|
|  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. read more
| $29.95 | |
|
|  An Outline of Set Theory
by James M. Henle
An innovative introduction to set theory, this volume is for undergraduate courses in which students work in groups and present their solutions to the class. Complete solutions. 1986 edition. read more
| $11.95 | |
|
|  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.
read more
| $13.95 | |
|
|  Basic Set Theory
by Azriel Levy
The first part of this advanced-level text covers pure set theory, and the second deals with applications and advanced topics (point set topology, real spaces, Boolean algebras, infinite combinatorics and large cardinals). 1979 edition. read more
| $24.95 | |
|
|  The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise
by Mary Tiles
Beginning with perspectives on the finite universe and classes and Aristotelian logic, the author examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor's transfinite paradise; axiomatic set theory, and more.
read more
| $14.95 | |
|
|  Axiomatic Set Theory
by Paul Bernays
A historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, plus Paul Bernays' independent presentation of a formal system of axiomatic set theory. read more
| $14.95 | |
|
|  Set Theory and Logic
by Robert R. Stoll
Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories. read more
| $21.95 | |
|
|  Introduction to Logic
by Patrick Suppes
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates. read more
| $18.95 | |
|
|  Mathematical Logic
by Stephen Cole Kleene
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more. read more
| $24.95 | |
|
|  First-Order Logic
by Raymond M. Smullyan
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus is on the tableau point of view. Includes 144 illustrations. read more
| $10.95 | |
|
|  King Arthur in Search of His Dog and Other Curious Puzzles
by Raymond M. Smullyan
This fanciful, original collection for readers of all ages features arithmetic puzzles, logic problems related to crime detection, and logic and arithmetic puzzles involving King Arthur and his Dogs of the Round Table. read more
| $7.95 | |
|
|  The Lady or the Tiger?: and Other Logic Puzzles
by Raymond M. Smullyan
Created by a renowned puzzle master, these whimsically themed challenges involve paradoxes about probability, time, and change; metapuzzles; and self-referentiality. Nineteen chapters advance in difficulty from relatively simple to highly complex. 1982 edition. read more
| $10.95 | |
|
|  What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles
by Raymond M. Smullyan
A celebrated mathematician presents more than 200 increasingly complex problems that delve into Gödel’s undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Solutions. read more
| $12.95 | |
|
|  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. read more
| $14.95 | |
|
|  Introduction to Logic: and to the Methodology of Deductive Sciences
by Alfred Tarski
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout. read more
| $12.95 | |
|
|  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.
read more
| $11.95 | |
|
|  Axiomatic Set Theory
by Patrick Suppes
Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition. read more
| $14.95 | |
|
|  Model Theory: Third Edition
by C.C. Chang
H. Jerome Keisler
This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and saturated and special models. 1990 edition. read more
| $34.95 | |
|
|  Models and Ultraproducts : An Introduction
by A. B. Slomson
J. L. Bell
This first-year graduate text assumes only an acquaintance with set theory to explore homogeneous universal models, saturated structure, extensions of classical first-order logic, and other topics. 1974 edition.
read more
| $18.95 | |
|
|  Topoi: The Categorial Analysis of Logic
by Robert Goldblatt
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
read more
| $29.95 | |
|
|  Toposes and Local Set Theories: An Introduction
by J. L. Bell
This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. 1988 edition. read more
| $16.95 | |
|
|  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. read more
| $14.95 | |
|
