Введение в булевозначный анализ /
Кусраев, Анатолий Георгиевич
Введение в булевозначный анализ / А.Г. Кусраев, С.С. Кутателадзе; Рос. акад. наук. Сиб. отд-ние; Ин-т математики им. С.Л. Соболева; Владикавказ. науч. центр Ин-т прикладной математики и информатики. - Москва : Наука, 2005. - 526 с.
Библиогр.: с. 468-487
В монографии детально излагается техника спусков и подъемов для булевозначных моделей теории множеств, позволяющих существенно расширить объем и область применимости математических утверждений. Для студентов, аспирантов и научных работников.
5020337102
Физико-математические науки
Математическая логика.
Логические исчисления. Булевозначный анализ
Введение в булевозначный анализ / А.Г. Кусраев, С.С. Кутателадзе; Рос. акад. наук. Сиб. отд-ние; Ин-т математики им. С.Л. Соболева; Владикавказ. науч. центр Ин-т прикладной математики и информатики. - Москва : Наука, 2005. - 526 с.
Библиогр.: с. 468-487
В монографии детально излагается техника спусков и подъемов для булевозначных моделей теории множеств, позволяющих существенно расширить объем и область применимости математических утверждений. Для студентов, аспирантов и научных работников.
5020337102
Физико-математические науки
Математическая логика.
Логические исчисления. Булевозначный анализ