Acronyms von A bis Z
LNCS1289
-G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory. Proccedings, Springer-Verlag 1997
-G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory. Proccedings, Springer-Verlag 1997