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 |