Logic at Botik '89 Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings Meyer Albert R. Heftet / 1989 / Engelsk
