000 01313nam a2200337 4500
001 0000014814
003 CO-CtgCURN
005 20250331184730.0
007 ta
008 160627s1992 000 0 eng d
020 _a8429151508
040 _aCO-CtgCURN
_bspa
_ccoctgcurn
082 0 _a511.3
_bS87p
100 1 _aSuppes, Patrick.
245 1 0 _aIntroducción a la lógica matemática /
_cPatrick Suppes ; Shirley Hill ; versión española por Enrique Linés Escardó.
260 _aBogotá :
_bEditorial Reverté,
_c1992.
300 _a283 p.
336 _2rdacontent
337 _2rdamedia
_asin mediacion
_bn
338 _2rdacarrier
_avolumen
_bnc
500 _aIncluye índice.
500 _aTítulo original. : First course in mathematical logic.
505 8 _aSimbolización de proposiciones.--Inferencia lógica.--Tablas de certeza.--Terminos, predicados y cuantificadores universales.--Un sistema matemático simple axiomas de la adición.--Lógica matemática
650 1 4 _aMatemáticas
_vProblemas, ejercicios, etc.
650 1 4 _aLógica simbólica y matemática.
700 1 _aHill, Shirley.
700 1 _aLinés Escardó, Enrique,
_cTraductor.
908 _a160627
942 _cBK
_h511.3
_iS87p
_2ddc
999 _c20725
_d20725