TY  - BOOK
AU  - Joshi,mark
TI  - Proof patterns
SN  - 9783319162492
PY  - 2015///
CY  - New york
PB  - Springer
KW  - MATHEMATICS
ER  -