Annals of Pure and Applied Logic, Volume 129

Volume 129, Numbers 1-3, October 2004

a service of Schloss Dagstuhl - Leibniz Center for Informatics