TY  - DATA
AU  - Daniel W. Cunningham
TI  - A Logical Introduction to Proof
SN  - 9781461436317
PY  - 2013///
PB  - Springer New York
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-1-4614-3631-7
ER  -