拓扑via逻辑

第3章 frame

第3.1节 逻辑代数化

我们将要应用逻辑学中一个相当标准的技巧,