A Modern Perspective on Type Theory From its Origins until Today
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht
Springer Science + Business Media, Inc.
2005
|
Σειρά: | Applied Logic Series
29 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/1-4020-2335-9 |
Διαδίκτυο
http://dx.doi.org/10.1007/1-4020-2335-9ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: |
Unknown |
---|---|
Αντίγραφο Unknown | Στη βιβλιοθήκη |