TY - JOUR AU - Ignored], [Russian Text Ignored] [Russian Text IS - 12 JA - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik PY - 1957 TI - Russian Text Ignored VL - 3 ER -