This is a textbook, aimed at graduate students, about what lies beneath mathematical logic. It is not a text in mathematical logic itself, and assumes the reader already has a modest knowledge of that subject. The book is a 1977 Dover corrected reprint of the 1963 McGraw-Hill work. The type is tiny but still clear, and the book appears to have been reproduced from a larger page size; I estimate the type is about 8.5 points on a 10.5 point line spacing.
The preface describes the book as covering “the constructive theory of the first-order predicate calculus”, and it uses only constructive methods for its proofs. The book draws from many schools of thought, with the greatest influence being the work of Gerhard Gentzen (1909–1945). Roughly the first half of the book is devoted to background material in formal systems in general, with the rest dealing with nature of the key features of the predicate calculus, namely implication, negation, and quantification.
As logic books go, this one has mostly narrative and only a moderate amount of formula. It’s more philosophical than mathematical and deals with the nature of these things more than their mechanics. The introductory sections describing the problem to be solved and the approaches that have been taken are the most interesting parts. The body of the work is harder to follow, and uses a lot of non-standard terminology such as “epitheory”.
Allen Stenger is a math hobbyist and retired software developer. He is webmaster and newsletter editor for the MAA Southwestern Section and is an editor of the Missouri Journal of Mathematical Sciences. His mathematical interests are number theory and classical analysis. He volunteers in his spare time at MathNerds.org, a math help site that fosters inquiry learning.