000 00721nam a2200253 a 4500
003 AR-LpUCE
005 20240704155622.0
007 ta
008 /0/217s1981 sp dr 000 0 spa d
020 _a8428311013
024 8 _aDEX-M6054
_b6258
_zDEX005552
040 _aAR-LpUCE
_bspa
_cAR-LpUCE
080 _a510.6
100 1 _aHamilton, A.G.
_9252036
245 1 0 _aLógica para matemáticos
260 _aMadrid :
_b Paraninfo ,
_c1981?
650 4 _aTEOREMA DE INCOMPLETITUD
_9313696
650 4 _aSISTEMAS MATEMATICOS
_9313697
650 4 _aPREDICADOS INFORMAL
_9313698
650 4 _aPREDICADOS FORMAL
_9313699
650 4 _aENUNCIADOS FORMAL
_9313700
650 4 _aENUNCIADOS INFORMAL
_9313701
942 _cFT
999 _c1008121
_d1008121