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 |