Logic : techniques of formal reasoning - Kalish, Donald (Harcourt Brace Jovanovich, 1980)