TY  - BOOK
AU  - Meyer,Albert R.,ed
AU  - Taitslin,M.A.,ed
ED  - Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR)
TI  - Logic at Botik '89 : proceedings
SN  - 0387512373 
U1  - 001.64 
PY  - 1989///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Computers
KW  - Electronic data processing
KW  - Congresses
KW  - Logic, Symbolic and mathematical
ER  -