![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Lectures on the Curry-Howard Isomorphism Volume 149 || Classical logic and control operators
Sørensen, Morten HeineYear:
2006
Language:
english
DOI:
10.1016/S0049-237X(06)80007-8
File:
PDF, 3.30 MB
english, 2006