Primer curso de lógica matemática / Patrick Suppes ; Shirley Hill.
Tipo de material:
- First course in mathematical logic
- 511.3 S 976
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 | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Puiggrós | Biblioteca Puiggrós | Colección General | 511.3 S 976 ej. 1 (Navegar estantería(Abre debajo)) | 1 | Disponible | 027548 | |||
![]() |
Biblioteca Puiggrós | Biblioteca Puiggrós | Colección General | 511.3 S 976 ej. 2 (Navegar estantería(Abre debajo)) | 2 | Disponible | 027549 |
Total de reservas: 0
Navegando Biblioteca Puiggrós estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | ||
510 J 66 ej. 2 Matemáticas discretas / | 510 S 364 ej. 2 Vectores y tensores : | 510 Z 55 ej. 2 Dígalo con números / | 511.3 S 976 ej. 2 Primer curso de lógica matemática / | 512 B 654 ej. 2 Matemática discreta / | 513 B 416 ej. 2 Aritmética / | 515 P 576 ej. 2 Cálculo diferencial e integral / |
Incluye índice alfabético
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 en este titulo.
Iniciar sesión para colocar un comentario.