| 000 | 00552nam a2200205 4500 | ||
|---|---|---|---|
| 008 | 160616s1995 000 0 | ||
| 245 | _aAdvances in linear logic | ||
| 100 | _aGirard, Jean-Yves. Ed. | ||
| 100 | _aLafont, Yves. Ed. | ||
| 100 | _aRegnier, Laurent. Ed. | ||
| 260 | _aCambridge | ||
| 260 | _bCambridge University Press | ||
| 260 | _c1995 | ||
| 300 | _a389 | ||
| 440 | _aLondon mathematical society lecture note series ; 00222 | ||
| 020 | _a0521559618 | ||
| 650 | _aLinear Logic | ||
| 942 |
_cBK _2BK13198 |
||
| 080 | _a510.6 GIR | ||
| 999 |
_c13198 _d13198 |
||