TY  - BOOK
AU  - Meyer A R Ed.
AU  -  Taitslin M A Ed.
ED  - Symposium on logical foundations of computer science (1989 : Pereslavl-zalessky USSR)
TI  - Proceedings on Logic at Botik'89
T2  - Lecture notes in computer science; 363
U1  - D65,8(B):(R1), M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -