Annals of Pure and Applied Logic, Volume 97

Volume 97, Numbers 1-3, 21 March 1999

a service of Schloss Dagstuhl - Leibniz Center for Informatics