Logic and reasoning in mathematics - Johnson, Donovan A. (John Murray, 1963)