R. Murawski, “Truth vs. provability – philosophical and historical remarks”, LLP, vol. 10, no. 10, pp. 93–117, Jan. 2004.