- Tytuł:
- Special Issue on point-free geometry and topology. An introduction
- Autorzy:
-
Cristina Coppola
Giangiacomo Gerla - Data publikacji:
- 2013-06-01
- Tematy:
-
mereology
Boolean algebras
point-free geometry
point-free topology
intuitionism
category theory
multi-valued logic
decidability - Pokaż więcej
- Dostawca treści:
- CEJSH