Lectures on the Curry-Howard isomorphism.
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Amsterdam, The Netherlands; Boston, USA:
Elsevier,
2006.
|
| Phiên bản: | First edition. |
| Loạt: | Studies in logic and the foundations of mathematics,
vol. 149 |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Biblioteca Mayor de Ingeniería -
| Số hiệu: |
511.326 SOR 2006 |
|---|---|
| Sao chép 1 | Sẵn có Đặt Giữ |