Arithmetic and the Theory of Types.

Maurice Boffa Arithmetic and the Theory of Types. 621-624 1984 49 J. Symb. Log. 2 db/journals/jsyml/jsyml49.html#Boffa84