TY - JOUR AU - Kurt Schütte TI - Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. JO - Mathematische Zeitschrift PY - 1954 SP - 160 EP - 179 VL - 61 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZ_1954__61_169456/ ID - MZ_1954__61_169456 ER -