A Modern Perspective on Type Theory [electronic resource] From its Origins until Today by Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9781402023354
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |