Sentences implying their own provability (0)

by D Guaspari, R M
Venue:Journal of Symbolic Logic