Friedman's research on subsystems of second order arithmetic, in: Harvey FriedmanÕs Reesearch on the Foundations of Mathematics, edited by (0)

by Stephen G ÊSimpson
Venue:Scedrov, and Simpson, Studies in Logic and the Foundations of Mathematics