|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.
|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.
|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.
|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.
|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.
|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.
|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.
|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.
|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.
|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.
|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.
|Tractatus Logico-Philosophicus |
by Ludwig Wittgenstein
In his proposal of the solution to most philosophic problems by means of a critical method of linguistic analysis, Wittgenstein sets the stage for the development of logical positivism. Introduction by Bertrand Russell.
|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.
|My Best Mathematical and Logic Puzzles |
by Martin Gardner
The noted expert selects 70 of his favorite "short" puzzles, including such mind-bogglers as The Returning Explorer, The Mutilated Chessboard, Scrambled Box Tops, and dozens more involving logic and basic math. Solutions.
|Mathematics and Logic |
by Mark Kac, Stanislaw M. Ulam
Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computers, more. Includes 34 illustrations. 1968 edition.
|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.
|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.
|Test Your Logic |
by George J. Summers
Fifty logic puzzles range in difficulty from the simple to the more complex. Mostly set in story form, some problems involve establishing identities from clues, while others are based on cryptarithmetic.
|Puzzles in Math and Logic |
by Aaron J. Friedland
100 original problems in math and logic, featuring permutations, combinations, properties of numbers, algebra, solid and plane geometry, logic, and probability. Even accomplished mathematicians are likely to find some surprises here. 31 drawings.
|101 Puzzles in Thought and Logic |
by C. R. Wylie, Jr.
Solve murder problems and robberies, see which fishermen are liars and how a blind man can identify color — purely by reasoning! Hours of mind-strengthening entertainment.
|Language, Truth and Logic |
by Alfred Jules Ayer
Classic introduction to objectives and methods of schools of empiricism and linguistic analysis, especially of the logical positivism derived from the Vienna Circle. Topics: elimination of metaphysics, function of philosophy, more.