Lectures on the Curry-Howard isomorphism.
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Amsterdam, The Netherlands; Boston, USA:
Elsevier,
2006.
|
| الطبعة: | First edition. |
| سلاسل: | Studies in logic and the foundations of mathematics,
vol. 149 |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Biblioteca Mayor de Ingeniería -
| رقم الاستدعاء: |
511.326 SOR 2006 |
|---|---|
| النسخة 1 | متاح أحجز النسخة |