The elements of logic - Barker, Stephen Francis (McGraw-Hill, 1980)