@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/