Proof, logic, and conjecture : - Wolf, Robert S. (W.H. Freeman and Company, 1998)