Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Альфред Тарский
\
Boolean algebras with operators, I (B. Jonsson, A. Tarski, 1951)
\
9.6.3.2.3. The Representation Theorem;
Application to Closure Algebras
and Cylindric Algebras
Начало см.
здесь
и
здесь
.
B. Jonsson, A. Tarski.
Boolean algebras with operators, I.
American Journal of Mathematics, Vol. 73, No. 4 (Oct., 1951), pp. 928-.
9.6.3.2.3.2. The complex algebra of an algebra in the wider sense
9.6.3.2.3.3. The Representation Theorem