David Guaspari

Bibliography

Guaspari, David. 1983. “Sentences Implying Their Own Provability.” The Journal of Symbolic Logic 48: 777–789.