Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / 
A. Nerode and Yu. V. Matiyasevich (Eds.) 
 - Berlin :  Springer-Verlag,  1994 
 - 392 p. 
 - Lecture notes in computer science ;  no. 813 .
<br/><br/><label>ISBN: </label>3540581406 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Electronic data processing--Congresses<br/>Computers--Congresses