TY  - BOOK
AU  - Draganov, Alexandr
TI  - Taking the "Oof" out of proofs 
SN  - 9781032595986
U1  - 511.36 D784t 
PY  - 2024///
CY  - Baca Raton 
PB  - CRC Press 
KW  - Proof theory
KW  - Mathematics
ER  -