000 00759nam a2200265Ia 4500
003 OSt
005 20220912151427.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a48550
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):R14, M1
100 _aDomolki B Ed.
245 0 _aMathematical logic in computer science
260 _aAmsterdam
_bNorth-Holland Publisher Co.
_c1981
300 _a758p.
_ccm.
490 _aColloquia mathematica societatis janos bolyai; 26
650 _aComputer science
700 _a Gergely T Ed.
942 _hD65,8(B):R14, M1
_cTEXL
_2CC
999 _c68355
_d68355