Archive for Mathematical Logic

Venue Information

  • issn: 0933-5846 (print); 1432-0665 (online)

Arch. Math. Log. @ SpringerLink

Archiv für mathematische Logik und Grundlagenforschung

a service of Schloss Dagstuhl - Leibniz Center for Informatics