|
| Título : |
Introducción a la lógica matemática |
| Tipo de documento: |
texto impreso |
| Autores: |
Patrick Suppes, Autor ; Shirley Hill, Autor ; Enrique Lines Escardo, Traductor |
| Mención de edición: |
Primera edición |
| Editorial: |
Barcelona : Reverté |
| Fecha de publicación: |
2010 |
| Número de páginas: |
ix, 278, [3] páginas |
| Il.: |
tablas |
| Dimensiones: |
22 cm |
| ISBN/ISSN/DL: |
978-84-291-5150-3 |
| Nota general: |
Incluye índice alfabético. Título original en inglés: First course in mathematical logic |
| Idioma : |
Español (spa) Idioma original : Inglés (eng) |
| Clasificación: |
511.3 Lógica matemática (Lógica simbólica) |
| Nota de contenido: |
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 identidad -- Un sistema matemático simple axiomas de la adición -- Generalización universal. |
| Link: |
https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=75932 |
Introducción a la lógica matemática [texto impreso] / Patrick Suppes, Autor ; Shirley Hill, Autor ; Enrique Lines Escardo, Traductor . - Primera edición . - Barcelona : Reverté, 2010 . - ix, 278, [3] páginas : tablas ; 22 cm. ISBN : 978-84-291-5150-3 Incluye índice alfabético. Título original en inglés: First course in mathematical logic Idioma : Español ( spa) Idioma original : Inglés ( eng)
| Clasificación: |
511.3 Lógica matemática (Lógica simbólica) |
| Nota de contenido: |
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 identidad -- Un sistema matemático simple axiomas de la adición -- Generalización universal. |
| Link: |
https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=75932 |
Introducción a la lógica matemática
Suppes, PatrickHill, Shirley - -
Barcelona : Reverté - 2010
Incluye índice alfabético. Título original en inglés: First course in mathematical logic
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 identidad -- Un sistema matemático simple axiomas de la adición -- Generalización universal.
|
|  |
Introducción a la lógica matemática / Barcelona : Reverté (2010)
