| 000 | 00371nam a22001457a 4500 | ||
|---|---|---|---|
| 008 | 120524t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0521371813 | ||
| 040 | _cCLCE | ||
| 082 |
_2DC20 _a519.73 GIR |
||
| 100 |
_a Girard Jean-yves _94862 |
||
| 245 |
_a Proofs and Types _hbk |
||
| 260 |
_aNew York _b Cambridge University Press _c 1989 |
||
| 300 | _a176p | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c3766 _d3766 |
||