Logic at Botik '89 : proceedings - Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR); Meyer, Albert R., ed.; Taitslin, M. A., ed. (Berlin ; New York : Springer-Verlag, 1989)
Keywords: Computers; Electronic data processing -- Congresses; Logic, Symbolic and mathematical -- Congresses