Logic

Research Frontiers in Synthetic Differential Geometry in Logic

Logical foundations for reasoning about smooth spaces and differential structures using topos-theoretic methods.

All Logic PhD categories