A mathematical incompleteness (1977)

by J Paris, L Harrington
Venue:in Peano Arithmetic, Handbook of Mathematical Logic