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

   Математическая логика, теория алгоритмов и теория множеств / АН СССР. - М. : Наука, 1973. - 275 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 133). - Библиогр. в конце статей. - Посвящается П. С. Новикову к его 70-летию.

   Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учеб. пособие для вузов / Глухов М. М., Козлитин О. А., Шапошников В. А., Шишков А. Б. - СПб. : Лань, 2016. - 110 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 122 : Прикладные аспекты математической логики / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1987. - 166 с. - Библиогр. в конце статей.

   Вопросы кибернетики : сборник статей / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика". - М., 1978. - ISSN 0134-6388.
   Вып. 134 : Сложность вычислений и прикладная математическая логика / ред. Адян С. И. - 1988. - 178 с. - Библиогр. в конце статей.

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

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

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

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

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

   Алгоритмические вопросы алгебры и логики : сб. ст. / РАН. - М. : МАИК "Наука/Интерпериодика", 2011. - 351 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 274). - Библиогр. в конце ст. - ISBN 978-5-7846-0119-3.