Primer curso de lógica matemática/ Patrick Suppes y Shirley Hill; tr. Enrique Linés Escardó
Tipo de material:
- 8429151508
- Introducción a la lógica matemática
- 21a. ed. 511.3 S959
Contenidos:
Cont. 1. Simbolización de proposiciones; 2. Inferencia lógica; 3. Certeza y validéz; 4 Cartas de Certeza; 5 Términos predicados y cuantificadores universales; 6 Especificación universal y leyes de identidad; 7 Un sistema matemático simple: axiomas de la adición
Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Info Vol | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Central | Biblioteca Central | General | 511.3 S959 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | 101010001010229 | |||
![]() |
Biblioteca Central | Biblioteca Central | General | 511.3 S959 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | 101010002010230 |
Total de reservas: 0
Navegando Biblioteca Central estanterías, Colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 S318 Matemáticas discretas / | 511.3 S318 Matemáticas discretas / | 511.3 S511 Tópicos de matemáticas para administración y economía/ | 511.3 S959 Primer curso de lógica matemática/ | 511.3 S959 Primer curso de lógica matemática/ | 511.3 V419 Matemáticas discretas : | 511.3 V419 Matemáticas discretas : |
Cont. 1. Simbolización de proposiciones; 2. Inferencia lógica; 3. Certeza y validéz; 4 Cartas de Certeza; 5 Términos predicados y cuantificadores universales; 6 Especificación universal y leyes de identidad; 7 Un sistema matemático simple: axiomas de la adición
Traducido de: Firts course in matematical
Disponible en Colección General
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.