TY - JOUR AU - Ronald Björn Jensen TI - Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie JO - Mathematische Annalen PY - 1967 SP - 102 EP - 126 VL - 173 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1967__173_161602/ ID - MAN_1967__173_161602 ER -