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