TY - BOOK AU - Кусраев,Анатолий Георгиевич AU - Кутателадзе,Семен Самсонович ED - Российская Академия Наук ED - Институт математики им. С.Л. Соболева ED - Владикавказский научный центр ED - Институт прикладной математики и информатики TI - Введение в булевозначный анализ SN - 5-02-033710-2 PY - 2005/// CY - Москва PB - Наука KW - Физико-математические науки KW - Математическая логика KW - Логические исчисления KW - Булевозначный анализ N1 - Библиогр.: с. 468-487 N2 - В монографии детально излагается техника спусков и подъемов для булевозначных моделей теории множеств, позволяющих существенно расширить объем и область применимости математических утверждений. Для студентов, аспирантов и научных работников ER -