Murawski, R. “Truth Vs. Provability – Philosophical and Historical Remarks”. Logic and Logical Philosophy, vol. 10, no. 10, Jan. 2004, pp. 93–117, doi:10.12775/LLP.2002.006.