The metamathematics of the graph minor theorem (1985)

by Harvey Friedman, Neil Robertson, Paul Seymour
Venue:Humboldt State University