Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Альфред Тарский
\
9.6.3.2. Boolean algebras with operators, I
(B. Jonsson, A. Tarski, 1951)
Начало см.
здесь
.
B. Jonsson, A. Tarski.
Boolean algebras with operators, I.
American Journal of Mathematics, Vol. 73, No. 4 (Oct., 1951), pp. 891-939.
9.6.3.2.01. Introduction
9.6.3.2.02. Notations
9.6.3.2.3. The Representation Theorem; Application to Closure Algebras and Cylindric Algebras
