Introducción a la lógica matemática

Simbolización de proposiciones; Inferencia lógica; certeza y validez; tablas de certeza; términos, predicados y cuantificadores universales; especificación universal y leyes de dentidad; un sistema matemático simple: axiomas de la adición; generalización universal.

Guardado en:
Detalles Bibliográficos
Autor principal: Suppes, Patrick
Otros Autores: Hill, Shirley, Lines Escardo, Enrique (tr.)
Formato: Libro
Lenguaje:Español
Publicado: México, D. F. : Reverté, 1994.
Edición:1º edición - 11º reimp.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01106nam a22003130a 4500
001 PT4713
003 AR-LpoUNG
005 20210131231943.0
008 191001s1994||||mx |||||||||||||||||spa d
020 |a 9686708014  |c $9,4 
040 |a AR-LpoUNG  |b spa  |c AR-LpoUNG  |e aacr 
041 |a spa 
044 |a mx  
082 0 |a 511.3 59 
100 1 |a Suppes, Patrick 
245 1 0 |a Introducción a la lógica matemática 
250 |a 1º edición - 11º reimp. 
260 |a México, D. F. :   |b Reverté,   |c 1994. 
300 |a 278 p. :  |b gráfs. 
520 |a Simbolización de proposiciones; Inferencia lógica; certeza y validez; tablas de certeza; términos, predicados y cuantificadores universales; especificación universal y leyes de dentidad; un sistema matemático simple: axiomas de la adición; generalización universal. 
650 4 |a LOGICA 
650 4 |a LOGICA MATEMATICA Y SIMBOLICA 
650 4 |a TEORIA DEL CONOCIMIENTO 
651 4 |a DOCUMENTOS TEORICOS O METODOLOGICOS 
700 1 |a Hill, Shirley 
700 1 |a Lines Escardo, Enrique  |e tr. 
905 |a 4713 
942 |c LIB 
999 |c 12816  |d 12816