Гончаров С.С.

Счетные булевы алгебры и разрешимость