Logic at Botik'89 :  symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3-8, 1989 / 
A.R. Meyer, M.A. Taitslin (eds.) 
 - Berlin :  Springer-Verlag,  1989 
 - 289 p. ;  24 cm. 
 - Lecture notes in computer science .
<br/><br/><label>ISBN: </label>3540512373 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic design--Computer programs--Congresses<br/>Logic, Symbolic and mathematical--Congresses