@article{Ackermann1951/52, author = {Ackermann, Wilhelm}, journal = {Mathematische Zeitschrift}, keywords = {philosophy and foundations of mathematics}, pages = {364-384}, title = {Widerspruchsfreier Aufbau einer typenfreien Logik.}, url = {http://eudml.org/doc/169263}, volume = {55}, year = {1951/52}, }
TY - JOUR AU - Ackermann, Wilhelm TI - Widerspruchsfreier Aufbau einer typenfreien Logik. JO - Mathematische Zeitschrift PY - 1951/52 VL - 55 SP - 364 EP - 384 KW - philosophy and foundations of mathematics UR - http://eudml.org/doc/169263 ER -