Logical foundations of computer science third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / - Nerode, Anil,; Matii͡asevich, I͡U. V. (Lecture notes in computer science ;)