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"
maintained by Schloss Dagstuhl LZI, founded at University of Trier