000			01282nam a22001817a 4500
005			20201112224312.0
008			130508b2012 ck ||||fr|||| 001 0 spa d
020			_a9789588252253
082			_220 _a511.3 _bO12
100			_aObeso Fernández, Virgilio et al _9323461
245			_aLógica matemática notas de clase _cVirgilio Obeso Fernández
260			_aBarranquilla _bUniversidad del Norte _c2012
300			_a95 P. _c25 CM.
505			_aPreliminares.--- proposiciones.-- fórmulas bien formadas.--- árboles, definiciones recursivas.--- supresión de paréntesis.--- notación prefijada, entrefijada y posfija.-- decidibilidad.--- convertir una notación entrefija a prefija.--- equivalencias lógicas y su utilización.-- conjuntos completos.--- formas normales.-- cálculo proposicional.--- teorema de la deducción.-- validez.--- completitud.--- consistencia.--- cálculo de predicados.--- predicados, relación y cuantificadores.--- representación simbólica del lenguaje cotidiano.-- variables ligadas y libres.--- teoría general de la inferencia.--- interpretación y validez.
650			_aLÓGICA MATEMÁTICA _2LEMB _xLÓGICA MATEMÁTICA _9323462
650			_xLÓGICA _9377498
942			_2ddc _cBK _h511
999			_c252554 _d252554