Zouhar, Jaroslav. “Gödel’s Incompleteness Theorem and the Relation of Logical Consequence”. Teorie vědy Theory of Science, vol. 32, no. 1, Apr. 2010, pp. 59-95, https://doi.org/10.46938/tv.2010.65.