Archiv für mathematische Logik und Grundlagenforschung, Volume 18

Volume 18, Number 1, December 1977

a service of Schloss Dagstuhl - Leibniz Center for Informatics