Reports on Mathematical Logic, Volume 45

Volume 45, 2010

a service of Schloss Dagstuhl - Leibniz Center for Informatics