Annals of Pure and Applied Logic, Volume 141

Volume 141, Numbers 1-2, August 2006

Volume 141, Number 3, September 2006

Papers presented at the Second St. Petersburg Days of Logic and Computability Conference on the occasion of the centennial of Andrey Andreevich Markov, Jr.
a service of Schloss Dagstuhl - Leibniz Center for Informatics