|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.
|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.
|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.
|Introduction to Proof in Abstract Mathematics |
by Andrew Wohlgemuth
This undergraduate text teaches students what constitutes an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. 1990 edition.
|Foundations of Mathematical Logic |
by Haskell B. Curry
Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition.
|Introduction to Elementary Mathematical Logic |
by A. A. Stolyar
Lucid, accessible exploration of propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. 1970 edition.
|What Is Mathematical Logic? |
by J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.
|Undecidable Theories: Studies in Logic and the Foundation of Mathematics |
by Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson
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.
|First Course in Mathematical Logic |
by Patrick Suppes, Shirley Hill
Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.
|Set Theory and the Continuum Problem |
by Raymond M. Smullyan, Melvin Fitting
A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.
|Recursive Analysis |
by R. L. Goodstein
This text by a master in the field covers recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition.
|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.
|The Philosophy of Mathematics: An Introductory Essay |
by Stephan Körner
A distinguished philosopher surveys the mathematical views and influence of Plato, Aristotle, Leibniz, and Kant. He also examines the relationship between mathematical theories, empirical data, and philosophical presuppositions. 1968 edition.
|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.
|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.
|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.
|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.
|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.
|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.
|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.
|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.