This book examines how simple mathematical analysis can throw unexpected light on games of every type — games of chance, games of skill, games of chance and skill, and automatic games. Discusses classic puzzles as peg solitaire and Rubik's cube. Lucid, instructive, and full of surprises, it will fascinate mathematicians and gamesters alike. 1989 edition. Unabridged republication of the edition published by Oxford University Press, New York, 1989. New Preface to the Dover 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.
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 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.
