Orthodox approach using set theory, group theory and general topology
msc time table
Formal Specification of Topological Relations Erika Asnina, Janis Osis and Asnate Jansone Riga Technical University The 10th International Baltic Conference.
List of Books