Peter Apostoli The Analytic Conception of Truth and The Foundations of Arithmetic. 33-102 2000 65 J. Symb. Log. 1 db/journals/jsyml/jsyml65.html#Apostoli00