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

Марченков С. С.
   S-классификация функций трехзначной логики / Марченков С. С. - М. : Физматлит, 2001. - 79 с. - Библиогр.: с. 78-79. - ISBN 5-9221-0152-8.

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

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

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

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

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

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

Карпенко А. С.
   Логики Лукасевича и простые числа / Карпенко А. С. ; Российская академия наук, Институт философии. - М. : Наука, 2000. - V, C.11-318  : ил. - Библиогр.: с. 283-308. - ISBN 5-02-013048-6.

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8.

Финаев В. И., Финаева Е. В.
   Математическя логика : учеб. пособие / Финаев В. И., Финаева Е. В. ; Таганрог. гос. радиотехнический ун-т. - Таганрог : Изд-во Таганрогского государственного радиотехнического университета, 2001. - 59 с. - Библиогр.: с. 59.