000 00566pam a2200217a 44500
005 20161116151628.0
008 160408b1977 xxu||||| |||| 00| 0 eng d
040 _cIITK
041 _aeng
082 _a511.3
_bSch86
100 _aSchutte, Kurt
245 1 _aPROOF THEORY
260 _aBerlin
_bSpringer-Verlag
_c1977
300 _a302
440 _aGrundlehren Der Mathematischen Wissenschaften
500 _aBibliography : P. 293-296
500 _aOriginal Title : Beweistheorie
650 _aProof Theory
700 _aCrossley, J. N.
942 _cBK
999 _c278246
_d278246