PLP An introduction to mathematical proof

Seckin Demibras, Andrew Rechnitzer