The Nuts and Bolts of Proofs

Antonella Cupillari

Amsterdam Elsevier