Friedman’s research on subsystems of second-order arithmetic (1985)

by Stephen Simpson
Venue:Friedman’s Research on the Foundations of Mathematics, North Holland