A Recursive Model for Arithmetic with Weak Induction.

Zofia Adamowicz Guillermo Morales-Luna A Recursive Model for Arithmetic with Weak Induction. 49-54 1985 50 J. Symb. Log. 1 db/journals/jsyml/jsyml50.html#AdamowiczM85