This text explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import. 1971 edition. Includes 22 figures and 19 tables. Appendixes. Bibliography. Indexes. Unabridged republication of the edition published by Addison-Wesley Publishing Company, Reading, Massachusetts, 1971.
Here's a sample of other books in this Dover category
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.
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.
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.
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.
