A deep dive into Medvedev frames and their impact on intuitionistic logic.
Zhicheng Chen, Yifeng Ding
― 6 min read
Cutting edge science explained simply
A deep dive into Medvedev frames and their impact on intuitionistic logic.
Zhicheng Chen, Yifeng Ding
― 6 min read