Mathematical Logic Quarterly, Volume 43

Volume 43, 1997

a service of Schloss Dagstuhl - Leibniz Center for Informatics