Back to Results
First PageMeta Content
Logic in computer science / Proof theory / Adjoint functors / Gödel–Gentzen negative translation / Monad / Intuitionistic logic / Quantification / Peano axioms / Witness / Logic / Mathematical logic / Mathematics


The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK
Add to Reading List

Document Date: 2011-06-09 07:02:59


Open Document

File Size: 276,90 KB

Share Result on Facebook
UPDATE