J. Zouhar, “Gödel’s Incompleteness Theorem and the Relation of Logical Consequence”, Theory of Science, vol. 32, no. 1, pp. 59–95, Apr. 2010, doi: 10.46938/tv.2010.65.