Abstract

Among the more important changes in this revised edition: the incompleteness of the first set of natural deduction rules is proved; many proofs are shortened and simplified, especially in the development of the first-order functional calculus; there is a more lucid exposition of the quantification rules; more exercises are provided, with answers given for a number of them. The changes are all improvements, but none of them are of a sufficiently radical nature to be likely to alter anyone's original opinion of Copi's book—A. E. J.