TY - JOUR AU - Guaspari, David IS - 3 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1983 TI - Sentences implying their own provability VL - 48 ER -