TY  - JOUR
AU  - Wilhelm Ackermann
TI  - Widerspruchsfreier Aufbau einer typenfreien Logik.
JO  - Mathematische Zeitschrift
PY  - 1951
SP  - 364
EP  - 384
VL  - 55
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1951__55_169263/
ID  - MZ_1951__55_169263
ER  -