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 | Στη βιβλιοθήκη Κάντε κράτηση |