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
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/1-4020-2335-9
LEADER 01277nom a2200349 u 4500
001 10071434
003 upatras
005 20210126160732.0
008 090513s2005 eng
020 |a 9781402023354 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Kamareddine, Fairouz  |9 68666 
245 1 0 |a A Modern Perspective on Type Theory  |h [electronic resource]  |b From its Origins until Today  |c by Fairouz Kamareddine, Twan Laan, Rob Nederpelt 
260 |a Dordrecht  |b Springer Science + Business Media, Inc.  |c 2005 
300 |b v.: digital 
490 0 |a Applied Logic Series  |v 29  |x 1386-2790 
650 4 |a Computer science  |9 13995 
650 4 |a Logic  |9 64716 
650 4 |a Logic, Symbolic and mathematical  |9 65151 
650 4 |a Mathematics  |9 10598 
650 4 |a Mathematics of Computing  |9 64702 
650 4 |a Logic  |9 64716 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
700 1 |a Laan, Twan  |9 68667 
700 1 |a Nederpelt, Rob  |9 68668 
760 1 |a Applied logic series  |g 29  |x 1386-2790 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/1-4020-2335-9 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 72889  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 47679  |d 47679