Joshi, Mark
Proof patterns
Cham : Springer, 2015. xiii, 190 p. 
QA9.54 J67