000 00676nam a22002770a 4500
001 PT33390
003 AR-LpoUNG
005 20250130080023.0
008 191001s1977||||xxc|||||||||||||||||eng d
020 _a0486634620
_c$42.70
040 _aAR-LpoUNG
_bspa
_cAR-LpoUNG
_eaacr
041 0 _aeng
044 _axxc
082 0 _a511.3 976fou
100 1 _aCurry, Haskell B.
245 1 0 _aFoundations of mathematical logic
260 _aToronto :
_bDover,
_c1977.
300 _a408 p. :
_bgráfs.
650 4 _aMATEMATICAS
653 0 _aALGORITMOS
653 0 _aCALCULO
653 0 _aMARKOV
653 0 _aSISTEMAS ALGEBRAICOS
905 _a33390
942 _cLIB
_2ddc
999 _c1418
_d1418