The metamathematics of the graph minor theorem (0)

by Harvey Friedman, Neil Robertson, Paul Seymour
Venue:In Simpson [40