Pages that link to "Item:Q4925157"
From MaRDI portal
The following pages link to Constructive version of Boolean algebra (Q4925157):
Displaying 6 items.
- On the decidability of axiomatized mereotopological theories (Q2354622) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- Intuitionistic mereology (Q6067323) (← links)
- Overlap Algebras as Almost Discrete Locales (Q6137844) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)