Acronyms von A bis Z
LNCS363
-A.R. Meyer/M.A. Taitslin (Eds.): Logic at Botik '89, Proceedings 1989, Springer-Verlag 1989
-A.R. Meyer/M.A. Taitslin (Eds.): Logic at Botik '89, Proceedings 1989, Springer-Verlag 1989