A modern perspective on type theory : from its origins until today /

Main Author: Kamareddine, Fairouz D.
Other Authors: Laan, Twan, Nederpelt, R. P.
Format: Book
Published: Dordrecht: Kluwer Academic Publishers, c2004
Series:Applied logic series ; Volume 29
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο511.3 KAM1ΠροβολήOPAC