Logic techniques of formal reasoning - Kalish, Donald; Montague, Richard Mar, Gary. 1930-197110. (San Diego, CA Harcourt Brace Jovanovich, 1980)
Keywords: Logic, Symbolic and mathematical