Annals of Pure and Applied Logic, Volume 127

Volume 127, Numbers 1-3, June 2004

Provinces of logic determined. Essays in the memory of Alfred Tarski. Parts IV, V and VI
a service of Schloss Dagstuhl - Leibniz Center for Informatics