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

   Конкурсные задачи по математике и физике : пособие для поступающих в МГТУ им. Н. Э. Баумана / Паршев Л. П., Андреев А. Г., Гладков Н. А., Струков Ю. А. ; ред. Белов С. В. - 2-е изд., доп. - М. : Машиностроение, 1993. - 191 с. : рис., табл. - Библиогр.: с. 184. - ISBN 5-217-02348-1.

   История и методология естественных наук : сборник статей / Московский государственный университет им. М. В. Ломоносова, Секция истории и методологии естествознания учёного совета Московского ун-та по естественным наукам ; гл. ред. Рыбников К. А. - М. : Изд-во Московского университета, 1985.
   Вып. 36 : Математика, механика / отв. ред. Башмакова И. Г., Рыбников К. А., Тюлина И. А. - 1989. - 195 с. - Библиогр. в конце статей. - ISBN 5-211-00330-6.

   Информатика и математика для юристов : учебное пособие для вузов / Андриашин Х. А., Казанцев С. Я., Калинина В. Н. [и др.] ; ред. Андриашин Х. А., Казанцев С. Я. ; Фонд содействия правоохранительным органам "Закон и право". - М. : ЮНИТИ-ДАНА : Закон и право, 2001. - 462 с. : ил. - Библиогр.: с. 452-456. - ISBN 5-238-00220-3.

Двайт Г. Б.
   Таблицы интегралов и другие математические формулы / Двайт Г. Б. ; пер. с англ. Леви Н. В. ; ред. пер. Семендяев К. А. - 5-е изд. - М. : Наука, 1978. - 224 с. - Библиогр.: с. 223-224.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр. в конце кн. - ISBN 5-02-006896-9.

Дородницын А. А.
   Избранные научные труды : в 2 т. / Дородницын А. А. ; сост. Шмыглевский Ю. Д. ; РАН. ВЦ. - М. : Изд-во РАН. Вычислительный центр, 1997.
   Т. 1. - 1997. - 394 с. - Библиогр. в конце статей. - ISBN 5-201-14719-4.

Дородницын А. А.
   Избранные научные труды : в 2 т. / Дородницын А. А. ; сост. Шмыглевский Ю. Д. ; РАН. ВЦ. - М. : Изд-во РАН. Вычислительный центр, 1997.
   Т. 2. - 1997. - 350 с. : рис., табл. - Библиогр. в конце статей. - ISBN 5-201-14719-4.

Лихтарников Л. М., Сукачева Т. Г.
   Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие для вузов / Лихтарников Л. М., Сукачева Т. Г. - СПб. : Лань, 1998. - 285 с. : ил. - Библиогр.: с. 282. - ISBN 5-8114-0082-9.

Аленицын А. Г., Бутиков Е. И., Кондратьев А. С.
   Краткий физико-математический справочник / Аленицын А. Г., Бутиков Е. И., Кондратьев А. С. - СПб. : Специальная литература, 1998. - 436 с. : рис. - ISBN 5-86457-041-9.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. - ISBN 5-02-013603-4.