Combinatorics in Subsystems of Second Order Arithmetic, The Pennsylvania State University (1987)

by J L Hirst
Venue:The Journal of Symbolic Logic 59