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