@article{1183738751,
author = {Lake, John},
title = {On an Ackermann-Type Set Theory},
journal = {J. Symbolic Logic},
volume = {38},
number = {1},
year = {1973},
pages = { 410-412},
language = {en},
url = {http://dml.mathdoc.fr/item/1183738751}
}
Lake, John. On an Ackermann-Type Set Theory. J. Symbolic Logic, Tome 38 (1973) no. 1, pp. 410-412. http://gdmltest.u-ga.fr/item/1183738751/