Logic techniques of formal reasoning
Kalish, Donald.
Harcourt Brace Jovanovich
1980