Hacker News new | ask | show | jobs
by mmmmpancakes 1114 days ago
fancy name for what seems like a fairly standard "intro to proofs" textbook, at least based on the ToC.