Paris–Harrington incompleteness and progressions of theories, in (1985)

by K McAloon
Venue:Proc. Sympos. Pure