Расширенный поиск

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 139 : Теория вычислимости и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1991. - 192 с. : ил. - Библиогр. в конце статей. - ISBN 5-7623-0102-8.

   Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1991. - ISSN 0373-9252.
   Т. 30, № 5. - 1991. - С.513-627 . - Библиогр. в конце статей.

   Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1991. - ISSN 0373-9252.
   Т. 30, № 2. - 1991. - С.125-255 . - Библиогр. в конце статей.

   Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1991. - ISSN 0373-9252.
   Т. 30, № 3. - 1991. - С.260-381 . - Библиогр. в конце статей.

Гринченков Д. В., Потоцкий С. И.
   Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : Кнорус, 2017. - 206 с. - Библиогр.: с. 205-206. - ISBN 978-5-406-05421-5.

   Вычислительные системы : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики. - Новосибирск, 1994. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 148 : Логические методы в информатике / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1993. - 176 с. - Библиогр. в конце статей. - ISBN 5-7623-0675-5.

Гамова А. Н.
   Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Издательство Саратовского университета, 2020. - ISBN 978-5-292-04649-3.

Задохина Н. В.
   Математика и информатика. Решение логико-познавательных задач : учебное пособие для студентов вузов / Задохина Н. В. - ЮНИТИ-ДАНА, 2017. - ISBN 978-5-238-02661-9.

Прокопенко Н. Ю.
   Математическая логика и булевы функции : учебно-методическое пособие / Прокопенко Н. Ю. - Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2021.

Унучек С. А.
   Математическая логика : учебное пособие / Унучек С. А. - Ай Пи Эр Медиа, 2018. - ISBN 978-5-4486-0086-9.