Murawski, Roman, cTruth vs. Provability - Philosophical and Historical Remarksd, Logic Log. Philos. No. 10 (2002), 93-117
V. Peckhaus, Mathematical Reviews, M71366 (2004a:03010) (2004).