Logic at Botik '89 :  Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / 
Albert R. Meyer and Michael A. Taitslin 
 - Berlin :  Springer-Verlag,  1992 
 - 363 p. 
 - Lecture notes in computer science ;  v. 363 .
<br/><br/><label>ISBN: </label>3540512373 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Electronic data processing--Congresses<br/>Computers--Congresses
<br/><br/><label>LC Class. No.: </label>QA75.5  / B67 1989