«Theorems, Corollaries, Lemmas, and Methods of Proof», benzeri kitaplar