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

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.: с.224-226. - ISBN 978-5-7782-1838-3.

Блехман И. И., Мышкис А. Д., Пановко Я. Г.
   Механика и прикладная математика. Логика и особенности приложений математики / Блехман И. И., Мышкис А. Д., Пановко Я. Г. - Москва : Наука, 1983. - 327 с. - Библиогр.: с.306-322.

   Математическая логика в программировании : сборник статей / ред. пер. с англ. Захарьящев М. В., Янов Ю. И. - Москва : Мир, 1991. - 407 с. - (Математическое обеспечение ЭВМ). - Библиогр. в конце статей. - ISBN 5-03-001635-X.

Ярославский технологический институт.
   Учёные записки. - Ярославль, 1961.
   Т. 7 : Математика, механика, теплотехника, электротехника. - 1961. - 335 с. : ил. - Библиогр. в конце ст.

Саратовское высшее военно-химическое командное училище.
   Научно-техническая конференция. (Техническая механика, математика, химия), вторая : труды. - Саратов, 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 с. : рис., табл. - Библиогр. в конце статей.