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
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.