TY  - BOOK
AU  - Meyer, A R. Ed.
AU  - Taitslin, M A. Ed.
TI  - Logic at Botik '89: Proceedings Symposium, Pereslavl-Zalessky, USSR, 1989
SN  - 3540512373
CY  - Berlin
KW  - Logical Foundations
KW  - Computer Science
ER  -