Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №49 C.34-41
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №46 C.49-57
Косова Е. С. , Берцун В. Н. «О первом центре высшего математического образования в Сибири» // Вестник Томского государственного университета. Математика и механика 2017. №46 C.102-112
Гафуанов Я. Ю. , Поднебесова Г. Б. «Формирование профессиональной ИКТ-компетентности при обучении программированию будущих учителей информатики и IT-специалистов» // Вестник Томского государственного университета 2020. №455 C.175-182
Вы можете добавить статью