Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр
Автор:Бунина Е.И. Год: 2015 Издание:МЦНМО, Московский центр непрерывного математического образования (МЦНМО) Страниц: [не указано] ISBN: 9785443902630 В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых...