000 00679cam a2200241 a 4500
001 u347218
003 SIRSI
008 131011s1990 sp a fr 000 0 spa c
020 _a8487189539
040 _cMX-MeUAM
041 0 _aspa
050 0 _aQA9
_bS35 1990
100 1 _aSancho San Román, J.
245 1 0 _aLógica matemática y computabilidad /
_cJ. Sancho San Román.
250 _a1a ed.
260 _aMadrid :
_bDíaz de Santos,
_c1990.
300 _axvi, 223 p. :
_bil. ;
_c24 cm.
504 _aIncluye referencias bibliográficas.
596 _a9
650 7 _aLógica simbólica y matemática.
_2lemb
650 7 _aFunciones computables.
_2lemb
942 _cLIBRO
999 _c185971
_d185971