Logic and reasoning in mathematics - Johnson, Donovan A (Exploring Mathematics on Your Own, 1963)