欢迎访问陕西师范大学学报(自然科学版)官方网站!
经典命题逻辑中的一致结构与一致拓扑
罗清君,王国俊
Uniformities and uniform topologies in classical propositional logic
LUO Qing-jun, WANG Guo-jun
陕西师范大学学报(自然科学版) . 2013, (3): 7 -12 .