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

9.6.3. Альфред Тарский

Начало см. здесь.
9.6.3.1. Логика и методология дедуктивных наук (А. Тарский)
9.6.3.2. Boolean algebras with operators, I (B. Jonsson, A. Tarski, 1951)      9.6.3.3. Boolean algebras with operators, II (B. Jonsson, A. Tarski, 1952)