000 | 00545nam a22001937a 4500 | ||
---|---|---|---|
005 | 20240515013737.0 | ||
008 | 240515b |||||||| |||| 00| 0 eng d | ||
020 | _a97816800945881 | ||
040 | _cjhcsc | ||
082 | _a511.3 | ||
245 |
_aA handbook of proofs and theories / _cedited by Maria Catherine C. Borres. |
||
260 |
_aNew York : _bArcler Press, _cc2017. |
||
300 | _a355p. | ||
500 | _aIncludes index. | ||
650 | 0 |
_96515 _aProof theory |
|
650 | 0 |
_96516 _aProofs |
|
700 |
_91492 _aBorres, Maria Catherine C. |
||
942 |
_2ddc _cBOOK |
||
999 |
_c8691 _d8691 |