Complexity in Predicative Arithmetic. - Geoffrey E. Ostrin; Stanley S. Wainer (CiE, 2005)

Elementary arithmetic. - Geoffrey E. Ostrin; Stanley S. Wainer (Ann. Pure Appl. Log., 2005)