Sentences Implying Their Own Provability. - Guaspari, David (J. Symb. Log., 1983)