000 00420nab a2200145Ia 4500
003 ES-SlBCS
005 20210601124231.0
008 140529s1989 xxu||||| |||| 00| 0 eng d
041 _aeng
100 1 _aGauthier, Yvon
_9138230
245 0 0 _aFinite Arithmetic with Infinite Descent
_c Yvon Gauthier
650 0 4 _aMatemáticas
_914595
773 0 _tDialectica
_gvol. 43, 1989, págs. 329-338
_wbise0000072577
942 _cAR
999 _c511458
_d511458