TY - JOUR AU - Kurt Schütte TI - Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1975 SP - 171 EP - 178 VL - 17 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1975__17_137919/ ID - AMLG_1975__17_137919 ER -