A Mathematical Incompleteness in Peano Arithmetic, 1133–42. Handbook for Mathematical Logic (1977)

by J B Paris, L A Harrington