@article{1183734629,
author = {Myhill, John},
title = {Remark on a System of Bernays},
journal = {J. Symbolic Logic},
volume = {28},
number = {1},
year = {1963},
pages = { 75-76},
language = {en},
url = {http://dml.mathdoc.fr/item/1183734629}
}
Myhill, John. Remark on a System of Bernays. J. Symbolic Logic, Tome 28 (1963) no. 1, pp. 75-76. http://gdmltest.u-ga.fr/item/1183734629/