195 записей
Корячко В. П., Скворцов С. В., Бакулева М. А.
Математическая логика и теория алгоритмов : учебник / Корячко В. П., Скворцов С. В., Бакулева М. А. - Москва : КУРС, 2025. - 141 с. : табл. - Библиогр.в конце кн. - ISBN 978-5-907535-63-3 .
Математическая логика и теория алгоритмов : учебник / Корячко В. П., Скворцов С. В., Бакулева М. А. - Москва : КУРС, 2025. - 141 с. : табл. - Библиогр.
Пруцков А. В.
Курс математической логики и теории алгоритмов с примерами и практическими заданиями : учебник / Пруцков А. В. - Москва : КУРС, 2025. - 183 с. : граф. - Библиогр.:с.176-180 . - ISBN 978-5-907352-36-0 .
Курс математической логики и теории алгоритмов с примерами и практическими заданиями : учебник / Пруцков А. В. - Москва : КУРС, 2025. - 183 с. : граф. - Библиогр.:
Васюков, В. Л. Формальная феноменология : учебное пособие для вузов / В. Л. Васюков. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 210 с. — (Высшее образование). — ISBN 978-5-534-11497-3.
Седых, И. Ю. Высшая математика для гуманитарных направлений : учебник и практикум для вузов / И. Ю. Седых, Ю. Б. Гребенщиков, А. Ю. Шевелев. — Москва : Издательство Юрайт, 2026. — 393 с. — (Высшее образование). — ISBN 978-5-534-19258-2.
Лексаченко В. А.
Логика. Множества. Вероятность / Лексаченко В. А. - Москва : Вузовская книга, 2001. - 128 с. : рис. - Библиогр.:с.126 . - ISBN 5-89522-134-3 .
Логика. Множества. Вероятность / Лексаченко В. А. - Москва : Вузовская книга, 2001. - 128 с. : рис. - Библиогр.:
Лавров И. А., Максимова Л. Л.
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 4-е изд. - Москва : Физматлит, 2001. - 255 с. - Библиогр.:с.248-249 . - ISBN 5-9221-0026-2 .
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 4-е изд. - Москва : Физматлит, 2001. - 255 с. - Библиогр.:
Лавров И. А., Максимова Л. Л.
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр.:с.248-249 . - ISBN 5-02-014844-X .
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр.:
Марков А. А.
Избранные труды : собрание сочинений / Марков А. А. - Москва : Изд-во МЦНМО, 2002. -ISBN 5-94057-044-5 .
Т. 2 : Теория алгорифмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы / сост. и общ. ред. Нагорный Н. М. - 2003. - 626 с. - Библиогр.:с.624-625 . - ISBN 5-94057-113-1 .
Избранные труды : собрание сочинений / Марков А. А. - Москва : Изд-во МЦНМО, 2002. -
Т. 2 : Теория алгорифмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы / сост. и общ. ред. Нагорный Н. М. - 2003. - 626 с. - Библиогр.:
Лавров И. А., Максимова Л. Л.
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 5-е изд., испр. - Москва : Физматлит, 2004. - 255 с. - Библиогр.:с.248-249 . - ISBN 5-9221-0026-2 .
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 5-е изд., испр. - Москва : Физматлит, 2004. - 255 с. - Библиогр.:
