Back to Results
First PageMeta Content
Philosophical logic / Proof theory / Analytic philosophers / Begriffsschrift / Gottlob Frege / Quantification / Natural deduction / Modus ponens / Ancestral relation / Logic / Analytic philosophy / Philosophy


Document Date: 2008-01-07 09:35:14

Open Document

File Size: 2,35 MB

Share Result on Facebook

/

Facility

Curry-Howard Isomorphism Philip Wadler University of Edinburgh wadler@inf.ed.ac.uk Part / /

Organization

University of Edinburgh / /

SocialTag