A Modern Perspective on Type Theory From its Origins until Today /

`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century ha...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Kamareddine, Fairouz (Συγγραφέας), Laan, Twan (Συγγραφέας), Nederpelt, Rob (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands, 2005.
Σειρά:Applied Logic Series, 29
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Search Result 1
ανά Kamareddine, Fairouz
Έκδοση 2005
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο