Archiv für mathematische Logik und Grundlagenforschung, Volume 1

Volume 1, Number 1, September 1950

Volume 1, Number 2, September 1951

Volume 1, Number 3, July 1952

Volume 1, Number 4, December 1952

a service of Schloss Dagstuhl - Leibniz Center for Informatics