The elements of logic - Barker, Stephen F. (MacGraw-Hill, 1985)