TY  - JOUR
AU  - Eduard Wette
TI  - Eine Anmerkung zu Gödels Komprehensionstheorem.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1971
SP  - 59
EP  - 65
VL  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__9_137787/
ID  - AMLG_1971__9_137787
ER  -