1975]: 'Some systems of second order arithmetic and their use (0)

by HARVEY FRIEDMAN
Venue:Proceedings of the 1974 International Congress of Mathematicians