Остапович, М. В. Математическая логика и теория алгоритмов. Практикум : учебное пособие. Ч. 1, 2017. - 115 с. - Текст : непосредственный.