Abbreviation: Arch. Math. Logik Grundlagenforschung
Fullname: Archiv f"ur Mathematische Logik und Grundlagenforschung.