Stanisław J. Surma, W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki, Filozofia Nauki, 1993, 1, 1, s. 49-65