Paris-Harrington incompleteness and progressions of theories (1985)

by K McAloon
Venue:Proc. Symp. Pure Math