000 00522nam a22001697a 4500
003 OSt
005 20171117110433.0
008 171117b xxu||||| |||| 00| 0 eng d
020 _a970-625-105-7
040 _cU
082 _0510.64
100 _aGómez, Pedro y Gómez, Cristina
_96280
245 _aSistemas formales, informalmente: ¿por qué intentaron formalizar a la matemática si era tan buena muchacha?
260 _aMéxico
_bGrupo Editorial Iberoamérica
_c1995
300 _a130 p.
942 _2udc
_cLIB
_mG633
999 _c10073
_d10073