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

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

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

Просветов Г. И.
   Дискретная математика. Задачи и решения : учеб. пособие / Просветов Г. И. - М. : БИНОМ. Лаборатория знаний, 2008. - 222 с. : ил. - (Математика). - Библиогр.: с. 221-222. - ISBN 978-5-94774-829-1.

Просветов Г. И.
   Дискретная математика. Задачи и решения : учеб. пособие / Просветов Г. И. - М. : БИНОМ. Лаборатория знаний, 2011. - 222 с. : ил. - Библиогр.: с. 221-222. - ISBN 978-5-94774-829-1.

Просветов Г. И.
   Дискретная математика: задачи и решения : учебно-практическое пособие / Просветов Г. И. - 2-е изд. - М. : Альфа-Пресс, 2013. - 238 с. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0.

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

Пуанкаре А., Кутюра Л.
   Математика и логика : пер. с фр. / Пуанкаре А., Кутюра Л. ; пер. Юшкевич П., Долина А. - 2-е изд. - М. : Издательство ЛКИ : URSS, 2007. - 148 с. - (Из наследия мировой философской мысли: философия науки). - ISBN 978-5-382-00019-0.

Радемахер Г., Теплиц О.
   Числа и фигуры. Опыты матемтического мышления / Радемахер Г., Теплиц О. ; пер. с нем. Контовт В. И. ; ред. пер. и автор доп. и прим. Яглом И. М. - 5-е изд. - Ижевск : Изд-во Научно-издательского центра "Регулярная и хаотическая динамика", 2000. - 258 с. : ил. - (Естественно-научная библиотека для юношества). - ISBN 5-89806-031-6.

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

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