1984a, "The logic of provability," "American Mathematical Monthly 91": 470-480.