Logic : techniques of formal reasoning, Harcourt Brace and (1980)

by D Kalish, R Montague, G Mar