Logic : techniques of formal reasoning - Kalish, Donald (Oxford University Press, 1980)