On Gödel incompleteness and finite combinatorics (1987)

by A Kanamori, K McAloon
Venue:Annals of Pure and Applied Logic