Annals of Pure and Applied Logic, Volume 136

Volume 136, Numbers 1-2, October 2005

Festschrift on the occasion of Wolfram Pohlers' 60th birthday

Volume 136, Number 3, November 2005

a service of Schloss Dagstuhl - Leibniz Center for Informatics