The elements of logic - Barker (McGraw-Hill, 1989)