Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety... read more
See Sample Pages! Click here to look inside this book.
Customers who bought this book also bought:
Our Editors also recommend:
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.
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. Complete solutions appear within the narrative of the text.
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.
Logic in Elementary Mathematics by Robert M. Exner, Myron F. Rosskopf This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Numerous examples and exercises. 1959 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.
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.
The Axiom of Choice by Thomas J. Jech Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 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.
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.
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.
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.
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 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.
Introduction to Mathematical Philosophy by Bertrand Russell Seminal work focuses on concepts of number, order, relations, limits and continuity, propositional functions, descriptions and classes, more. Clear, accessible excursion into realm where mathematics and philosophy meet.
Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement calculus, descriptions, and equality. Succeeding chapters explore abstract set theory—with examinations of class membership as well as relations and functions—cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use.
Reprint of the McGraw-Hill Book Company, New York, 1953 edition.
This book was printed in the United States of America.
Dover books are made to last a lifetime. Our US book-manufacturing partners produce the highest quality books in the world and they create jobs for our fellow citizens. Manufacturing in the United States also ensures that our books are printed in an environmentally friendly fashion, on paper sourced from responsibly managed forests.