The Metamathematics of the Graph Minor Theorem, Logic and Combinatorics (1987)

by H Friedman, N Robertson, P Seymour
Venue:AMS Contemporary Mathematics Series