Счетные булевы алгебры и разрешимость - Монография | Sciact - Система учета научной деятельности ИМ СО РАН

Язык	Русский
Тип	Монография
Страниц	364
Тираж	1000
Авторы	Гончаров Сергей Савостьянович ^1,2

результаты теории булевых алгебр в развитие теории конструктивных моделей

Гончаров С.С.
Счетные булевы алгебры и разрешимость
Монография, Издательство НИИ МИОО НАУЧНАЯ КНИГА. Новосибирск.1996. 364 c.

Нет идентификаторов