000 00613nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
040 _aISI KOLKATA
041 _aEnglish
082 _a5.131
_bK96(3)
100 _aCottlob Georg
110 _aKurt Godel Colloquium( 3rd : 1993 : Brno )
111 _aKurt Godel Colloquium 3rd
_cBrno,
_d1993
245 _aComputational logic and proof theory : proceedings
260 _aBerlin
_bSpringer Verlag
_c1993
300 _axi,348p
440 _aLecture notes in computer science, 713
650 _aComputational logic
650 _aProof theory
942 _cBK
999 _c108949
_d108949