Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / - Nerode, Anil,; Taitslin, M. A. (Springer-Verlag,, 1992)