Title: Predicative Arithmetic. (MN-32)
Subjects: Arithmetic, Constructive mathematics