000 00572nam a2200181 a 4500
005 20240602101816.0
008 040401s19uu xx 00 eng d
100 _aDel Grande, J. J.
245 _aAn introduction to the nature of proof /
_cJ.J. Del Grande, J.C. Egsgard, H.A. Mulligan ; [edited by] A.J. Coleman.
260 _aToronto :
_bGage,
_cc1967.
300 _aviii, 59 p. : ill.
650 _aProof theory.
650 _aLogic, Symbolic and mathematical.
700 _aEgsgard, J. C.
700 _aMulligan, H. A.
700 _aColeman, A. J.
942 _2ddc
999 _c48434
_d48434