What can be done with PRA (1980)

by G E Mints
Venue:Translation from: Zapiski Nauchuyh Seminarov, LOMI,vol. 60 (1976),pp. 93–102). Ulrich Kohlenbach