Murawski, Roman. 2004. “Truth Vs. Provability – Philosophical and Historical Remarks”. Logic and Logical Philosophy 10 (10):93–117. https://doi.org/10.12775/LLP.2002.006.