Zeitschrift für Mathematische Logig und Grundlagen der Mathematik. (VEB Deutscher Verlag der Wissenschaften, 1955)