000 00624 a2200241 4500
010 _a75040482
020 _a354007533X
035 _aII 19315
082 _a510.8
090 _c14543
_d14543
546 _aeng
245 1 0 _aISILC Proof Theory Symposion
_b
_cedited by J. Diller and G. H. Muller
260 _aBerlin
_aNew York
_bSpringer-Verlag
_c1975
300 _aviii, 383 p
_c25 cm
490 _aLecture notes in mathematics
500 _aContine bibliografie
600 _a
_xBiblio
650 _aProof theory
_xCong
700 _a
700 _aDille
700 _a
942 _aIMAR
_cCART
_sSN
_sSN
_sSN
_k510.8
999 _c14303
_d14303