Logic and reasoning in mathematics - Johnson, Donovan A. (Exploring mathematics on your own ;)