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

Гончаров С. С., Ершов Ю. Л.
   Конструктивные модели / Гончаров С. С., Ершов Ю. Л. ; РАН. СО. Ин-т математики, Новосибирский государственный университет, Институт дискретной математики и информатики. - Новосибирск : Научная книга, 1999. - 345 с. - (Сибирская школа алгебры и логики ; [вып.] 6). - Библиогр.: с. 321-345. - ISBN 5-88119-021-1.

Горшков С. П., Архангельский О. Ю., Большаков С. А.
   Иерархические системы моделирования / Горшков С. П., Архангельский О. Ю., Большаков С. А. // Вычислительная техника : сборник статей / МВТУ им. Н. Э. Баумана. - 1977. - Вып. 3 / ред. Петров А. В. - С. 44-48.

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

Гурова Л. М., Зайцева Е. В.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Гурова Л. М., Зайцева Е. В. ; Моск. гос. горный ун-т. - М. : Изд-во Московского государственного горного университета, 2006. - 261 с. - (Высшее горное образование). - Библиогр.: с. 259. - ISBN 5-7418-0451-9. - ISBN 918-5-7418-0451-3.

Драгалин А. Г.
   Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр. в конце тем. - ISBN 5-354-00388-1. - ISBN 5-354-00387-3.

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. - ISBN 5-8114-0533-2.

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2.

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - М. : Физматлит, 2011. - 356 с. - ISBN 978-5-9221-1301-4.

Зюзьков В. М., Шелупанов А. А.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Зюзьков В. М., Шелупанов А. А. - 2-е изд. - М. : Горячая линия - Телеком, 2007. - 176 с. : ил. - Библиогр.: с. 173-174. - ISBN 5-93517-349-2.

Игошин В. И.
   Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.: с. 311-312. - ISBN 978-5-4468-4664-1.