A Modern Perspective on Type Theory From its Origins until Today

• Κύριος συγγραφέας: Kamareddine, Fairouz
• Άλλοι συγγραφείς: Laan, Twan, Nederpelt, Rob
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht Springer Science + Business Media, Inc. 2005
• Σειρά: Applied Logic Series 29
• Θέματα: Computer science; Logic; Logic, Symbolic and mathematical; Mathematics; Mathematics of Computing; Λογική, Συμβολική και μαθηματική