Nonprovability of certain combinatorial properties of finite trees (1985)

by Sim85 Stephen G Simpson
Venue:Friedman’s Research on the Foundations of Mathematics