John R. Myhill Remark on a System of Bernays. 75-76 1963 28 J. Symb. Log. 1 db/journals/jsyml/jsyml28.html#Myhill63