Samson Abramsky (auth.), Albert R. Meyer, Michael A. Taitslin (eds.)

Logic at Botik ’89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings