| 000 | 00793nam a2200241 a 4500 | ||
|---|---|---|---|
| 008 | 980422s1992^^^^it^a^^^^^b^^^^000^0^eng^^ | ||
| 020 | _a8870882284 | ||
| 035 | _aMX001000785703 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | _aENG | ||
| 050 | 0 | 0 |
_aQA9.54 _bM55 1992 |
| 082 | 0 | 0 |
_a511.3 _220 |
| 100 | 1 |
_aMints, G. E., _eautor |
|
| 245 | 1 | 0 |
_aSelected papers in proof theory / _cGrigorii E. Mints |
| 264 | 1 |
_aNapoli : _bBibliopolis ; _aAmsterdam ; _aNew York : _bNorth-holland, _cc1992 |
|
| 300 |
_a294 páginas : _bilustraciones ; |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 490 | 0 |
_aStudies in proof theory. _pMonographs ; _v3 |
|
| 504 | _aIncluye referencias bibliograficas. | ||
| 650 | 0 | _aTeoría de la demostración | |
| 999 |
_c29889 _d29889 |
||