|
|
|
|
| LEADER |
00783cam a22002054a 4500 |
| 008 |
080208s2008 enka b 001 0 eng |
| 020 |
|
|
|a 9780521898850 (hardback)
|
| 020 |
|
|
|a 0521898854 (hardback)
|
| 080 |
|
|
|a 517.2:519.1
|b HIN
|
| 100 |
1 |
|
|a Hindley, J. Roger.
|
| 245 |
1 |
0 |
|a Lambda-calculus and combinators, an introduction /
|c J. Roger Hindley, Jonathan P. Seldin.
|
| 260 |
|
|
|a Cambridge, UK ;
|a New York :
|b Cambridge University Press,
|c c2008.
|
| 300 |
|
|
|a xi, 345 p. :
|b ill. ;
|
| 650 |
|
0 |
|a Lambda calculus.
|9 2520
|
| 650 |
|
0 |
|a Combinatory logic.
|9 3877
|
| 700 |
1 |
|
|a Hindley, J. Roger.
|
| 700 |
1 |
|
|a Seldin, J. P.
|9 3880
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 220121
|d 220121
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51725191_HIN
|7 0
|9 284800
|a MAT
|b MAT
|d 2010-08-16
|o 517.2:519.1 HIN
|p MAT07931
|r 2010-08-16
|t 1
|w 2010-08-16
|y BK
|