22.12я73 З-981 Зюзьков В. М. Математическая логика и теория алгоритмов: учебное пособие для вузов / Зюзьков Валентин Михайлович, Шелупанов Александр Александрович; рецензенты В. А. Кочегуров, П. М. Нагорский. - 2-е изд. - Москва: Горячая линия - Телеком, 2007. - 176 с. - (Учебное пособие для высших учебных заведений: Специальность). - ISBN 5-93517-349-2. [подробнее]
22.127 Ш 477 Шенфилд Дж. Степени неразрешимости / Шенфилд Джозеф; перевод с английского И. А. Лаврова; под редакцией Ю. Л. Ершова. - Москва: Наука, 1977. - 192 с. - (Математическая логика и основания математики). - Доп.: с. 95. - Имен. указ.: с. 185. - Предм. указ.: с. 186. - Указ. обозн.: с. 191. [подробнее]
22.12я73 С 892 Судоплатов С. В. Математическая логика и теория алгоритмов: учебник для вузов / Судоплатов С. В., Овчинникова Е. В. - Москва; Новосибирск: ИНФРА-М: Издательство НГТУ, 2004. - 224 с.: ил. - (Высшее образование). - Список лит.: с. 212. - Предм. указ.: с. 215. - ISBN 5-16-001975-8. [подробнее]
32.973.05 испр. А 955 Ахо А. В. Структуры данных и алгоритмы / Ахо Альфред В., Хопкрофт Джон Э., Ульман Джеффри Д.; перевод с английского, редакция А. А. Минько. - Москва: Вильямс, 2007. - 400 с.: ил. - Список лит.: с. 377. - Предм. указ.: с. 383. - ISBN 5-8459-0122-7. [подробнее]
32.973.05я73 испр. А 471 Алексеев В. Е. Графы и алгоритмы. Структуры данных. Модели вычислений: учебник / Алексеев Владимир Евгеньевич, Таланов Владимир Александрович. - Москва: БИНОМ. Лаборатория знаний, 2006. - 320 с.: ил. - (Основы информационных технологий). - ISBN 5-94774-543-7. [подробнее]
22.127 К 824 Криницкий Н. А. Алгоритмы вокруг нас / Криницкий Николай Андреевич. - 2-е изд. - Москва: Наука, 1984. - 224 с.: ил. - (Проблемы науки и технического прогресса). [подробнее]
22.122 У 774 Успенский В. А. Теорема Геделя о неполноте / Успенский Владимир Андреевич. - Москва: Наука, 1982. - 112 с. - (Популярные лекции по математике; Вып.57). [подробнее]
22.12я73-4 Л 136 Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 3-е изд. - Москва: Физматлит, 1995. - 255 с.: ил. - Список лит.: с. 248. - Предм. указ.: с. 250. - ISBN 5-02-014844-Х. [подробнее]
22.122.я43 П 781 Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов / под редакцией В. А. Козмидиади и А. А. Мучника. - Москва: Мир, 1970. - 431 с. [подробнее]
22.127 М 215 Мальцев А. И. Алгоритмы и рекурсивные функции / Мальцев Анатолий Иванович. - Москва: Наука, 1965. - 392 с.: ил. - Лит.: с. 375. - Указ. имен.: с. 382. - Предм. указ.: с. 384. - Осн. обозн.: с. 389. [подробнее]