The elements of logic - Barker, Stephen F. (McGraw-Hill, 1974)