Annals of Pure and Applied Logic, Volume 78

Volume 78, Numbers 1-3, 4 April 1996

Special Volume: Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg"
a service of Schloss Dagstuhl - Leibniz Center for Informatics