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