Deductive logic - Leblanc, Hugues, 1924- (Allyn and Bacon, 1972)