Widerspruchsfreier Aufbau einer typenfreien Logik.
Mathematische Zeitschrift, Tome 55 (1951), pp. 364-384
@article{MZ_1951__55_169263,
author = {Wilhelm Ackermann},
title = {Widerspruchsfreier {Aufbau} einer typenfreien {Logik.}},
journal = {Mathematische Zeitschrift},
pages = {364--384},
year = {1951},
volume = {55},
zbl = {0050.24501},
url = {http://geodesic.mathdoc.fr/item/MZ_1951__55_169263/}
}
Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik.. Mathematische Zeitschrift, Tome 55 (1951), pp. 364-384. http://geodesic.mathdoc.fr/item/MZ_1951__55_169263/