Considered the best book in the field, this completely 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 in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.
Here's a sample of other books in this Dover category
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.
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.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
The Lady or the Tiger?: and Other Logic Puzzles by Raymond M. Smullyan Created by a renowned puzzle master, these whimsically themed challenges involve paradoxes about probability, time, and change; metapuzzles; and self-referentiality. Nineteen chapters advance in difficulty from relatively simple to highly complex. 1982 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.
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.
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.
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.