Studying deductive logic - Berger, Fred R. (Prentice-Hall, 1977)