00485nam a2200121Ia 4500008004100000082002000041100010000061245008700161260003600248300001300284440004200297700002400339260921b        |||||||| |||| 00| 0 eng d  a518.1bSy989.MF  aSymposium on Mathematical Foundations of Computer Science, Marianske Lazue, September 1-5, 1975  aMathematical foundations of computer scienceb; proceedings of the 4th symposium /  aBerlin:bSpringer-Verlag,c1975  ax, 476p.  aLecture notes in Computer Sciencev32  aBecvar, J.eeditor.