Gaisi Takeuti Gödel Sentences of Bounded Arithmetic. 1338-1346 2000 65 J. Symb. Log. 3 db/journals/jsyml/jsyml65.html#Takeuti00