PLP An introduction to mathematical proof

Author — Seckin Demibras, Andrew Rechnitzer