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

Непейвода Н. Н.
   Прикладная логика : учеб. пособие для вузов / Непейвода Н. Н. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 488 с. - Библиогр.: с. 479-481. - ISBN 5-7615-0490-1.

   Нечеткие гибридные системы. Теория и практика / Батыршин И. З., Недосекин А. О., Стецко А. А. [и др.] ; ред. Ярушкина Н. Г. - М. : Физматлит, 2007. - 207 с. - (Информационные и компьютерные технологии). - Библиогр.: с. 181-207. - ISBN 978-5-9221-0786-0.

Новак В., Перфильева И., Мочкорж И.
   Математические принципы нечеткой логики : пер. с англ. / Новак В., Перфильева И., Мочкорж И. ; ред. пер. Аверкин А. Н. - М. : Физматлит, 2006. - 347 с. - Библиогр.: с. 335-343. - ISBN 5-9221-0399-7.

Петров Ю. А.
   Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.: с. 160-162. - ISBN 5-354-00975-8.

Поттосин Ю. В., Шестаков Е. А.
   Табличные методы декомпозиции систем полностью определенных булевых функций / Поттосин Ю. В., Шестаков Е. А. ; Национальная академия наук Белоруси, Объединённый институт проблем информатики. - Минск : Белорусская наука, 2006. - 326 с. - ISBN 985-08-0732-6.

   Проблемы конструктивного направления в математике : сборник работ / АН СССР. - Л. : Наука, 1973.
   [Сб.] 6 / ред. Шанин Н. А. - 1973. - 266 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 129). - Библиогр. в конце статей.

Пруцков А. В.
   Курс математической логики и теории алгоритмов с примерами и практическими заданиями : учебник / Пруцков А. В. - М. : КУРС, 2025. - 183 с. : граф. - Библиогр.: с. 176-180. - ISBN 978-5-907352-36-0.

Раца М. Ф.
   Выразимость в исчислениях высказываний : монография / Раца М. Ф. ; ред. Тайманов А. Д. ; Академия наук ССРМ, Институт математики с вычислительным центром. - Кишинёв : Штиинца, 1991. - 202 с. : ил. - Библиогр.: с. 196-201. - ISBN 5-376-00961-0.

Скорубский В. И., Поляков В. И., Зыков А. Г.
   Математическая логика : учебник и практикум для академического бакалавриата / Скорубский В. И., Поляков В. И., Зыков А. Г. ; Университет ИТМО. - М. : Юрайт, 2017. - 210 с. : ил., портр. - (Бакалавр. Академический курс). - Библиогр.: с. 176-178. - ISBN 978-5-534-01114-2.

Смольяков Э. Р.
   Математическая логика и некоторые ее приложения : учеб. пособие / Смольяков Э. Р. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 1992. - 34 с. - Библиогр. в конце брош. - ISBN 5-7038-0899-5.