|
|
|
|
| LEADER |
00623nam a22001575a 4500 |
| 008 |
890901s1989 enka b 001 0 eng |
| 020 |
|
|
|a 0521371813
|
| 080 |
|
|
|a 510.6
|b GIR
|
| 100 |
1 |
|
|a Girard, Jean-Yves.
|9 2519
|
| 245 |
1 |
0 |
|a Proofs and types /
|c Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont.
|
| 260 |
|
|
|a Cambridge [England] ;
|a New York :
|b Cambridge University Press,
|c 1989.
|
| 300 |
|
|
|a xi, 176 p. :
|b ill. ;
|
| 650 |
|
0 |
|a Lambda calculus.
|9 2520
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 217725
|d 217725
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 5106_GIR
|7 0
|9 282048
|a MAT
|b MAT
|d 2009-12-08
|o 510.6 GIR
|p MAT03779
|r 2009-12-08
|t 1
|w 2009-12-08
|y BK
|