Back to Results
First PageMeta Content
Proof theory / Model theory / Computability theory / Functions and mappings / Dialectica interpretation / Intuitionism / Interpretation / Symbol / Gödel–Gentzen negative translation / Mathematical logic / Logic / Mathematics


Document Date: 2013-10-02 10:18:56

Open Document

File Size: 435,82 KB

Share Result on Facebook
UPDATE