Mathematical Logic Foundations

Research Frontiers in Constructive Analysis and Bishop Spaces

Develops rigorous constructive foundations for real analysis and topology using Bishop''s pointfree approach and formal topology.

All Mathematical Logic & Foundations PhD categories