Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik (Deutscher Verlag der Wissenschaften, 1955)