
Uniformities and uniform topologies in classical propositional logic
LUO Qing-jun, WANG Guo-jun
Uniformities and uniform topologies in classical propositional logic
propositional logic / uniformity / uniform topology / maximal consistent theory {{custom_keyword}} /
/
〈 |
|
〉 |