Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Альфред Тарский \

9.6.3.3. Boolean algebras with operators, II
(B. Jonsson, A. Tarski, 1952)

 
Начало см. здесь.
B. Jonsson, A. Tarski.  Boolean algebras with operators, II.
American Journal of Mathematics, Vol. 74, No. 1 (Jan., 1952), pp. 127-162.
9.6.3.3.5. Relation Algebras and Brandt Groupoids