 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.
|  |
| |  Computability and Unsolvability
by Prof. Martin Davis
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.
| |
|
 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.
| |
| |  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.
| |
|
 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.
| |
| |  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.
| |
|
 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.
| |
| |  Great Ideas of Modern Mathematics
by Jagjit Singh
Internationally famous expositor discusses differential equations, matrices, groups, sets, transformations, mathematical logic, and other important areas in modern mathematics. He also describes their applications to physics, astronomy, and other fields. 1959 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.
| |
| |  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.
| |
| |  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.
| |
|
 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.
| |
| |  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.
| |
|
| |  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.
| |
|
 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.
| |
| |
