Zouhar, J. (2010) “Gödel’s Incompleteness Theorem and the Relation of Logical Consequence”, Teorie vědy / Theory of Science, 32(1), pp. 59–95. doi:10.46938/tv.2010.65.