Classically and intuitionistically provable functions (1978)

by Harvey M Friedman
Venue:Higher Set Theory, Lecture Notes in Mathematics #669