000 | 00624nam a2200217 4500 | ||
---|---|---|---|
003 | AR_CdUFM | ||
005 | 20160908121708.0 | ||
008 | 130708s1984 gw ||||| |||| 00| 0 eng d | ||
020 | _a038713901X | ||
020 | _a354013901X | ||
040 |
_aAR_CdUFM _cAR_CdUFM |
||
245 | 0 | 0 |
_aComputation and proof theory / _ced. Michael M. Richter. |
260 |
_aBerlin : _bSpringer, _c1984. |
||
300 |
_aviii, 475 p. ; _c25 cm. |
||
490 | 0 |
_aLecture notes in mathematics ; _vv. 1104 |
|
490 | 0 |
_aLNM ; _vv. 1104 |
|
650 | 4 | _aComputaciĆ³n. | |
700 | 1 |
_914353 _aRichter, Michael M., _eed. |
|
942 |
_cLIBRO _2 |
||
945 |
_aMCR _d2013-07-08 |
||
999 |
_c16 _d16 |