А.А. Запрягаев. Булевы алгебры, теоремы Стоуна и Йонссона-Тарского