Murawski, Roman, “Truth vs. Provability - Philosophical and Historical Remarks”, Logic Log. Philos. No. 10 (2002), 93-117 - Peckhaus, Volker (Mathematical Reviews, MR1971366 (2004a:03010))