Lambda calculus with types [E-Book] / Henk Barendregt, Wil Dekkers, Richard Statman.
Barendregt, Henk.
Dekkers, Wil. / Statman, Richard.
Cambridge, England : Cambridge University Press ; c2013
Association for Symbolic Logic,
1 online resource (xxii, 833 pages).
englisch
9780521766142
9781107273818
Perspectives in logic
Full Text
LEADER 01131nam a2200313 a 4500
001 EBC1303578
003 MiAaPQ
008 130814s2013 enk sb 001 0 eng d
020 |a 9780521766142 
020 |a 9781107273818 
035 |a (Sirsi) a776596 
041 |a eng 
082 0 4 |a 511.3  |2 23 
100 1 |a Barendregt, Henk. 
245 1 0 |a Lambda calculus with types  |h [E-Book] /  |c Henk Barendregt, Wil Dekkers, Richard Statman. 
264 1 |a Cambridge, England :  |b Cambridge University Press ;  |a Ithaca, N.Y. :  |b Association for Symbolic Logic,  |c c2013  |e (ProQuest) 
300 |a 1 online resource (xxii, 833 pages). 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
440 0 |a Perspectives in logic 
500 |a englisch 
650 0 |a Lambda calculus. 
700 1 |a Dekkers, Wil. 
700 1 |a Statman, Richard. 
856 4 0 |u https://ebookcentral.proquest.com/lib/fz/detail.action?docID=1303578  |z Volltext 
915 |a zzwFZJProQuest 
596 |a 1 
949 |a XX(776596.1)  |w AUTO  |c 1  |i 776596-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 18/10/2019  |x UNKNOWN  |z UNKNOWN  |1 ONLINE