Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ackermann, W. Widerspruchsfreier Aufbau einer typenfreien Logik. Math Z 55, 364–384 (1952). https://doi.org/10.1007/BF01181135
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01181135