Surma, S. J. „W Duchu Tarskiego: O Alternatywach Teorio-Dowodowej Metalogiki”. Filozofia Nauki, t. 1, nr 1, marzec 1993, s. 49-65, https://www.fn.uw.edu.pl/index.php/fn/article/view/5.