Daniel J. Velleman, How to Prove It: A Structured Approach, Joel David Hamkins, Proof and the Art of Mathematics 둘 중 뭐할까?