Introduction to logic - Packard, Dennis J.; Faulconer, James E. 1947- (Van Nostrand, 1980)