Logic

Research Frontiers in Intuitionistic Logic and Constructive Proofs

Explores non-classical logic rejecting the law of excluded middle and emphasizing constructive mathematical proofs and algorithmic content.

All Logic PhD categories