Back to Results
First PageMeta Content
Mathematical constructivism / Proof theory / Intuitionism / Non-classical logic / Propositional calculus / Realizability / Intuitionistic logic / Curry–Howard correspondence / Dialectica interpretation / Logic / Mathematical logic / Mathematics


Document Date: 2011-06-02 20:33:30

Open Document

File Size: 980,93 KB

Share Result on Facebook
UPDATE