Ограниченные теории конструктивных булевых алгебр. С.С. Гончаров (1976) Sibirskij matematiceskij zurnal