TY  - BOOK
ED  - University of Waterloo
TI  - Waterloo mathematics: reading writing and discovering proofs 
SN  - 281000029646
AV  - QA 9.54 .U5 2014
PY  - 2014///
CY  - Ontario
PB  - University of Waterloo
KW  - Proof theory
ER  -