Return to Revisions

2 of 2

added 16 characters in body

edited Jul 14, 2015 at 3:26

Check paper called "Lectures on the Curry-Howard Isomorphism". It seems to be pretty comprehensive introduction to different kinds of logics.

answered Jul 14, 2015 at 2:57