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

Дородницын А. А.
   Избранные научные труды : в 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.

   Англо-русский словарь математических терминов : около 20 000 терминов / ред. Александров П. С. ; Российская академия наук, Математический институт им. В. А. Стеклова. - 3-е изд., стер. - М. : Мир, 2001. - 413 с. - Библиогр.: с. 410-412. - ISBN 5-03-003393-9.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.: с. 180-213. - ISBN 5-02-013628-X.

Раца М. Ф.
   Итеративные цепные классы псевдобулевых функций : монография / Раца М. Ф. ; ред. Негру И. С. ; Академия наук Молдавской ССР, Институт математики с вычислительным центром. - Кишинёв : Штиинца, 1990. - 236 с. - Библиогр.: с. 233-235. - ISBN 5-376-00806-1.

Маделунг Э.
   Математический аппарат физики : справ. руководство / Маделунг Э. ; пер. с нем. Иглицкий М. А. ; ред. пер. Левин В. И. - М. : Физматгиз, 1961. - 618 с. - Библиогр.: с. 596-604.

Игошин В. И.
   Михаил Яковлевич Суслин. 1894-1919 / Игошин В. И. ; Российская академия наук ; отв. ред. Тихомиров В. М. - М. : Наука. Физматлит, 1996. - 153 с. : ил. - (Научно-биографическая литература). - Библиогр.: с. 137-140. - ISBN 5-02-015191-2.

Гладкий А. В.
   Математическая логика : учебное пособие / Гладкий А. В. ; Российский государственный гуманитарный университет. - М. : Российский государственный гуманитарный университет, 1998. - 479 с. : ил. - Библиогр.: с. 468-470. - ISBN 5-7281-0025-2.