Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings - Sergei Adian, Anil Nerode ((Lecture Notes in Computer Science))