Nuts and Bolts of Proofs (Fifth Edition) - Cupillari, Antonella. (Academic Press,)