Lógica simbólica / Irving M. Copi ; traducción, Andrés Sestier Bouclier.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 9682601347
- BC135 .C6 1979
Contenidos parciales:
1. La introducción: La lógica y el lenguaje.-- 2. Argumentos que contienen enunciados compuestos.-- 3. El método de deducción.-- 4. Funciones proposicionales y cuantificadores.-- 5. La lógica de las relaciones.-- 6. Sistemas deductivos.-- 7. Un cálculo proposicional.-- 8. Sistemas y notaciones alternativos.-- 9. Un cálculo funcional de primer orden.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Preparatoria No. 1 Tepic, Nay | Acervo General | BC135 .C6 1979 | Disponible | Préstamo interno (etiqueta naranja) | 045795 | |||
![]() |
Biblioteca de la Preparatoria No. 2 Santiago Ixc., Nay. | Acervo General | BC135 .C6 1979 | Disponible | Préstamo interno (etiqueta naranja) | 044950 | |||
![]() |
Biblioteca de la Preparatoria No. 3 Acaponeta, Nay. | Acervo General | BC135 .C6 1979 | Disponible | Préstamo interno (etiqueta naranja) | 044912 | |||
![]() |
Biblioteca de la Preparatoria No. 4 Tecuala, Nay. | Acervo General | BC135 .C6 1979 | Disponible | Préstamo interno (etiqueta naranja) | 046689 | |||
![]() |
Biblioteca Magna | Acervo General | BC135 .C6 1979 | Disponible | Préstamo interno (etiqueta naranja) | 120334 | |||
![]() |
Biblioteca Magna | Acervo General | BC135 .C6 1979 | V. 1 Ej. 06 | Disponible | 192706 |
Título original: Symbolic logic.
1. La introducción: La lógica y el lenguaje.-- 2. Argumentos que contienen enunciados compuestos.-- 3. El método de deducción.-- 4. Funciones proposicionales y cuantificadores.-- 5. La lógica de las relaciones.-- 6. Sistemas deductivos.-- 7. Un cálculo proposicional.-- 8. Sistemas y notaciones alternativos.-- 9. Un cálculo funcional de primer orden.
Área de Ciencias Básicas e Ingenierías