|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.