Archive for Mathematical Logic

Arch. Math. Log. @ SpringerLink

Archiv für mathematische Logik und Grundlagenforschung

maintained by Schloss Dagstuhl LZI at University of Trier