Lectures on the Curry-Howard isomorphism.
Furkejuvvon:
| Váldodahkkit: | , |
|---|---|
| Materiálatiipa: | Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Amsterdam, The Netherlands; Boston, USA:
Elsevier,
2006.
|
| Preanttus: | First edition. |
| Ráidu: | Studies in logic and the foundations of mathematics,
vol. 149 |
| Fáttát: | |
| Fáddágilkorat: |
Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!