TY  - BOOK
T1  - A logical introduction to proof
A1  - Cunningham, Daniel W.
LA  - English
PP  - New York
PB  - Springer
YR  - 2013
UL  - https://tuklas.up.edu.ph/Record/UP-8027390931316805724
OP  - 356
NO  - Softcover reprint of the 1st edition 2013.
CN  - QA 9 C843 2013
SN  - 9781489990990
KW  - Logic, Symbolic and mathematical.
ER  -