Introducción a la lógica matemática Patrick Suppes
Tipo de material: TextoDetalles de publicación: Bogotá Reverté 2013Edición: 1Descripción: 283 pISBN: 9789686708011Tema(s): LÓGICA MATEMÁTICAClasificación CDD: 511.3
Contenidos:
Simbolización de proposiciones.-- Interferencia lógica.-- Certeza y validez.-- Tablas de certeza.-- Términos, predicados y cuantificadores universales.-- Especificación universal y leyes de identidad.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 1 | Disponible | L018864 | ||
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 2 | Disponible | L020198 | ||
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 6 | Disponible | L032905 | ||
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 7 | Disponible | L032906 | ||
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 8 | Disponible | L032907 | ||
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 2010 | 4 | Disponible | L029020 | |
Libro Colección General | Central Armenia | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 2010 | 5 | Disponible | L029021 | |
Libro Colección General | CERES | Colección General | 511.3 S959P (Navegar estantería (Abre debajo)) | 3 | Disponible | L023875 |
Simbolización de proposiciones.-- Interferencia lógica.-- Certeza y validez.-- Tablas de certeza.-- Términos, predicados y cuantificadores universales.-- Especificación universal y leyes de identidad.