Rosser sentences (1979)

by D Guaspari, R M Solovay
Venue:Annals of Mathematical Logic