Успенский В.А. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско, 1991. - 136 с. - Текст : непосредственный.
Успенский В.А. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско, 2007. - 125 с. с. - Текст : непосредственный.
Успенский В.А. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско, 2002. - 125 с. - Текст : непосредственный.
Крупский В.Н. Математическая логика и теория алгоритмов : учеб. пособие / В. Н. Крупский, В. Е. Плиско, 2013. - 416 с. с. - Текст : непосредственный.
Крупский В.Н. Теория алгоритмов : Учеб. пособие / В. Н. Крупский, В. Е. Плиско, 2009. - 206 с. с. - Текст : непосредственный.