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

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

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

   Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; авт. предисл. Макаров И. М. ; науч. ред. Смирнова Е. Д. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237. - ISBN 5-02-007156-0.

   Логические и логико-математические исчисления : сборник работ / АН СССР. - Л. : Наука. Ленингр. отд-ние, 1968. - (Труды/Математический институт им. В. А. Стеклова; т...).
   Сб. 2. - 1972. - 165 с. - (... ; т. 121). - Библиогр. в конце ст.

Мальцев А. И., Мальцев И. А.
   Итеративные алгебры Поста : [монография] / Мальцев А. И., Мальцев И. А. ; РАН, РАН. СО. Ин-т математики им. С. Л. Соболева. - 2-е изд., доп. - М. : Наука, 2012. - 198 с. - Библиогр.: с. 160-193. - ISBN 978-5-02-037994-7.

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

Марченков С. С.
   Булевы функции / Марченков С. С. - М. : Физматлит, 2002. - 68 с. - (Популярные лекции по математике). - ISBN 5-9221-0253-2.

Марченков С. С.
   Замкнутые классы булевых функций / Марченков С. С. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1.

Марченков С. С.
   Замкнутые классы булевых функций / Марченков С. С. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0132-3.

   Математическая логика и алгебра : сб. ст. / ред. Адян С. И. ; РАН. - М. : Наука. МАИК "Наука/Интерпериодика", 2003. - 207 с. - (Труды / Математический ин-т им. В. А. Стеклова ; т. 242). - Библиогр. в конце ст. - ISBN 5-02-032604-6.