Ullrich D. A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem. LLP [Internet]. 6 listopad 1998 [cytowane 5 lipiec 2024];6(6):173-85. Dostępne na: https://apcz.umk.pl/LLP/article/view/LLP.1998.009