Primer curso de lógica matemática / Patrick Suppes y Shirley Hill
Por: Suppes, Patrick.
Colaborador(es): Hill, Shirley.
Tipo de material:
LibroEditor: Barcelona : Edit. Reverté, 1976Descripción: ix, 283 p. : il. ; 22 cm.ISBN: 84-291-5150-8.Tema(s): Lógica matemáticaClasificación CDD: 511.3/
Contenidos:
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
| Tipo de ítem | Ubicación actual | Ubicación en estantería | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | Colección General (1er. piso) | 511.3/ S94P (Navegar estantería) | Ej.1 | Disponible | 00037037 | BC/G00037037 | |
|
Libros
|
Biblioteca Central | Colección General (1er. piso) | 511.3/ S94P (Navegar estantería) | Ej.2 | Disponible | 00133466 | BC/G00133466 |
Navegando Biblioteca Central Estantes , Ubicación: Colección General (1er. piso) Cerrar el navegador de estanterías
| 511.3/ S94 Introducción a la lógica matemática / | 511.3/ S94 Introducción a la lógica matemática / | 511.3/ S94P Primer curso de lógica matemática / | 511.3/ S94P Primer curso de lógica matemática / | 511.3/ V46 Matemática I / | 511.3/ W58 Introducción a los conjuntos numéricos / | 511.32/ A38 Algebra Booleana : instrucción programada / |
"Introducción a la lógica matemática"--cubierta
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
No hay comentarios para este ejemplar.