@article{1183389337, author = {Bernays, Paul}, title = {Review: Wilhelm Ackermann, Ein System der Typenfreien Logik I}, journal = {J. Symbolic Logic}, volume = {7}, number = {1}, year = {1942}, pages = { 93-95}, language = {en}, url = {http://dml.mathdoc.fr/item/1183389337} }
Bernays, Paul. Review: Wilhelm Ackermann, Ein System der Typenfreien Logik I. J. Symbolic Logic, Tome 7 (1942) no. 1, pp. 93-95. http://gdmltest.u-ga.fr/item/1183389337/