Математическая логика и теория алгоритмов. Моделирование логики : учеб. пособие / С. Ф. Тюрин [и др.]; под ред. С. Ф. Тюрина, 2015. - 175 с. - Текст : непосредственный.