Tselishchev Vitaly V. «Iterated modal operators and Hilbert - Bernays derivability conditions» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №43 C.33-43
Tselishchev Vitaly V. «The truth of undecidable sentences in the perspective of Godel's first incompleteness theorem» // Tomsk State University Journal 2017. №421 C.53-58
