Целищев В. В. «Итерированные модальные операторы и условия выводимости Гильберта - Бернайса» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №43 C.33-43
Целищев В. В. «Истинность неразрешимых предложений в свете Первой теоремы Гёделя о неполноте» // Вестник Томского государственного университета 2017. №421 C.53-58
Вы можете добавить статью