Introducción a la lógica matemática / Patrick, Suppes: Shirley, Hill; traducción de Enrique, Lines Escardó
Por: Suppes, Patrick [autor]
Colaborador(es): Hill, S [autor]
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Contenidos:
I. Simbolización de proposiciones
II. Inferencia lógica
III. Certeza y validez
IV. Tablas de certeza
V. Términos, predicados y cuantificadores universales
VI. Especificación universal y Leyes de Identidad
VII. Un sistema matemático simple: axiomas de la adición
VIII. Generalización universal
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
![]() |
Plantel Tlalpan "Lic. Javier Campos Ycardo" | BC135 S858 (Navegar estantería(Abre debajo)) | 1 | Disponible | 16 001930 | |
![]() |
Plantel Tlalpan "Lic. Javier Campos Ycardo" | BC135 S858 (Navegar estantería(Abre debajo)) | 2 | Disponible | 16 001931 | |
![]() |
Plantel Tlalpan "Lic. Javier Campos Ycardo" | BC135 S858 (Navegar estantería(Abre debajo)) | 3 | Disponible | 16 001932 |
Navegando Plantel Tlalpan "Lic. Javier Campos Ycardo" estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
BC135 C364 1999 El juego de la Lógica | BC135 C6518 Lógica simbólica | BC135 C6518 Lógica simbólica | BC135 S858 Introducción a la lógica matemática | BC135 S858 Introducción a la lógica matemática | BC135 S858 Introducción a la lógica matemática | BC147 C43 1973 Introducción a la lógica y nociones de teoría del conocimiento |
Incluye: Indice analítico, Prefacio, Indice alfabético
I. Simbolización de proposiciones
II. Inferencia lógica
III. Certeza y validez
IV. Tablas de certeza
V. Términos, predicados y cuantificadores universales
VI. Especificación universal y Leyes de Identidad
VII. Un sistema matemático simple: axiomas de la adición
VIII. Generalización universal
Material Complementario/ 16 001930
No hay comentarios en este titulo.