A Mathematical Incompleteness in Peano Arithmetic (1977)

by J Paris, L Harrington
Venue:Handbook of Math. Logic