000 00619nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-52753-2
040 _aISI KOLKATA
041 _aEnglish
082 _a5.131
_bW926(3)
100 _aBorger E
110 _aWorkshop on Computer Science Logic( 3rd : 1989 : FRG )
111 _aWorkshop on Computer Science Logic 3rd
_c, FRG
_d1989
245 _aComputer science logic : proceedings
260 _aBerlin
_bSpringer Verlag
_c1990
300 _avi,437p
440 _aLecture notes in computer science, v 440
650 _aComputer science
942 _cBK
999 _c108461
_d108461