fancy name for what seems like a fairly standard "intro to proofs" textbook, at least based on the ToC.