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

Саратовское высшее военно-химическое командное училище
   Научно-техническая конференция. (Техническая механика, математика, химия), вторая : труды. - Саратов, 1971. - 138 с. : рис., табл. - Библиогр. в конце ст.

Герасимов А. С.
   Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383. - ISBN 978-5-8114-1666-0.

Ленинградский государственный университет
   Ученые записки. Сер. математических наук. Астрономия. - Л., 1940.
   Вып. 9 : Доклады по астрономии, геодезии и гравиметрии, посвящённые 120-летней годовщине ЛГУ (1819 - 1939) / ред. Горшков П. М. - 1940. - 231 с. : ил. - Библиогр.: с. 230-231.

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

   Вопросы кибернетики. Неклассические логики и их применение : сборник статей / ред. Драгалин А. Г., Поспелов Д. А. ; Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика". - М., 1982. - 168 с. - Библиогр. в конце статей. - ISSN 0134-6388.

   Прикладная математика и механика. Исследования по механике : межвузовский научный сборник. - Саратов : Изд-во Саратовского университета, 1986.
   Вып. 4. - 1986. - 127 с. : рис., табл. - Библиогр. в конце статей.

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

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

   Современные методы прикладной математики, теории управления и компьютерных технологий (ПМТУКТ-2015) : сборник трудов VIII Междунар. конф., Воронеж, 21-26 сентября 2015 г. / Воронежский государственный технический университет, С. -Петербург. гос. ун-т., МГУ им. М. В. Ломоносова, Воронежский государственный университет, Пермский государственный национальный исследовательский университет, Пермский национальный исследовательский политехнический университет, Томбовский гос. техн. ун-т. - Воронеж : Изд-во "Научная книга", 2015. - 472 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-98222-876-5.

   Актуальные проблемы прикладной математики, информатики и механики : сборник трудов Междунар. конф. / ред. Шашкина А. И. - М. : Физматлит, 2015. - 165 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-9221-1608-4.