Murawski, R. (2004) “Truth vs. provability – philosophical and historical remarks”, Logic and Logical Philosophy, 10(10), pp. 93–117. doi: 10.12775/LLP.2002.006.