Archiv_fur_Mathematische_Logik_und_Grundlangenforschung