Abstract

The first volume of a projected two-volume work in mathematical logic. Along with an introduction containing brief but careful and remarkably compact discussions of such topics as the kinds of expressions occurring in formalized language, the logistic method, syntax, and semantics, the book comprises clean and precise treatments of the propositional calculus, and first- and second-order functional calculi, including parenthetical remarks about the intended semantical interpretations of these calculi, some development of the calculi themselves, and discussions of completeness and consistency. A great number of exercises are included, ranging from elementary exercises in technique to brief sketches of theories not treated in the text.--W. T.