TY  - BOOK
AU  - Borres, Maria Catherine C.
TI  - A handbook of proofs and theories / 
SN  - 97816800945881
U1  - 511.3 
PY  - 2017///
CY  - New York
PB  - Arcler Press, 
KW  - Proof theory
KW  - Proofs
N1  - Includes index
ER  -