Новосибирский государственный университет
Математическая логика. Вычислимость. Теория алгоритмов
- Когабаев Н.Т. Лекции по теории алгоритмов: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2009. 107 с.
- С.П. Одинцов, С.О. Сперанский, С.А. Дробышевич. Введение в неклассические логики: учеб. пособие / Новосиб. гос. ун-т. Новосибирск: РИЦ НГУ, 2014. 133 с.
- Карпенко А.В. Прикладная логика: Учеб. пособие / НГУ.
- Морозов А.С. Конспект лекций по денотационной семантике языков программирования. 2020.