拓扑via逻辑
第3章 frame
第3.1节 逻辑代数化
我们将要应用逻辑学中一个相当标准的技巧,