Primer curso de lógica matemática / Patrick Suppes, Shirley Hill : traducción de Enrique Lines Escardo
Tipo de material:
TextoIdioma: Español Lenguaje original: Inglés Detalles de publicación: México, D.F. : Editorial Reverté, 2013Descripción: ix, [281] p. : il. ; 22 cmISBN: - 9686708014
- 9789686708011
- First course in mathematical logic. spa
- QA 9 L6418
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 | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | QA 9 L6418 (Navegar estantería(Abre debajo)) | 1 | No para préstamo | Ing. Industrial | 034259 | |||
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA 9 L6418 (Navegar estantería(Abre debajo)) | 2 | Disponible | Ing. Industrial | 034260 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA 9 L6418 (Navegar estantería(Abre debajo)) | 3 | Disponible | Ing. Industrial | 034261 |
Total de reservas: 0
Navegando Biblioteca Antonio Enriquez Savignac estanterías, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
| QA 8 .4 M4253 Matemáticas para NI, IE, TS, GA / | QA 8 .4 M4253 Matemáticas para NI, IE, TS, GA / | QA 9 L6418 Primer curso de lógica matemática / | QA 9 L6418 Primer curso de lógica matemática / | QA 9 N798 1998 Schaum's outline of theory and problems of logic / | QA 9 N798 1998 Schaum's outline of theory and problems of logic / | QA 9 N798 1998 Schaum's outline of theory and problems of logic / |
Título original: First course in mathematical logic.
Incluye índice
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
Fondos FADOES Compra 140527 116.00
