000 00862nam a2200277Ia 4500
003 OSt
005 20220912151317.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a209
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB0aD65,8(B)p1,N79, N79
100 _aHartmains J
111 _aSymposium on mathematical foundations of computer science (1979 : Czechoslovakia)
245 0 _aProceeding on mathematical foundations of computer science
260 _aBerlin
_bSpringer-verlag
_c1979
300 _aix,580p.
_ccm.
490 _aLecture notes in computer science; 14
700 _a Becvar Ed.
700 _a Goods G
942 _hB0aD65,8(B)p1,N79, N79
_cTEXL
_2CC
999 _c65738
_d65738