Logic

Research Frontiers in Medvedev Frames and Intuitionistic Logic

Study of semantics for intuitionistic logic using problems and mass problems for reasoning about computational difficulty.

All Logic PhD categories