Abstract

After introducing and illustrating the idea of a calculus, this work develops a philosophically interesting but technical theory of the foundation of logic, in connection with propositional calculi and in relation to recent metamathematical research; then quantification theory is introduced, including material on completeness and undecidability and the theory of equality. Not just another logic text, this information-packed little treatise will probably find a place among the classical introductions to the field.--L. K. B.