| 000 | 00750nam0a22002170004500 | ||
|---|---|---|---|
| 001 | 114200 | ||
| 005 | 20200804122044.0 | ||
| 010 |
_a88-7088-123-7 (v.1) _b(Encadernado) |
||
| 090 | _a114200 | ||
| 100 | _a19961007g19879999k y0pory5003 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aIT | ||
| 200 | 1 |
_aProof theory and logical complexity _fJean-Yves Girard |
|
| 210 |
_aNapoli _cBibliopolis _d1987-19-- |
||
| 215 |
_av. _d25 cm |
||
| 225 | 2 |
_aStudies in proof theory. _iMonographs |
|
| 327 | 0 | _avol.1 : cop. 1987. - 503 p. | |
| 675 |
_a510.6 _vint _zeng |
||
| 700 | 1 |
_aGirard, _bJean-Yves |
|
| 942 |
_cLIVRO _n0 |
||