000 00449nam a2200181 4500
005 20250402162441.0
008 250402b |||||||| |||| 00| 0 eng d
020 _a9781032595986
041 _aeng
082 _a511.36 D784t
100 _aDraganov, Alexandr
245 _aTaking the "Oof" out of proofs
260 _aBaca Raton
_bCRC Press
_c2024
300 _axvii, 278p.
650 _aProof theory
650 _aMathematics
942 _cBK
999 _c28824
_d28824