Logic

Research Frontiers in Formal Topology and Pointfree Geometry

Development of topology and geometry constructively using formal methods without point-set infrastructure.

All Logic PhD categories