Ejercicios de lógica
Idioma: Español Series Manuales/LógicaDetalles de publicación: Madrid Siglo Veintiuno de España 1991Descripción: 137 p. 21 cmISBN:- 84-323-0730-0
- 160 PÉR
Contenidos:
Ejercicios de lógica.
Tipos de discurso
Formalización de lógica proposicional
Método de validación
Deducción natural (pruebas formales)
Simbolización de predicados de primer orden
Cálculo de árboles.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libro
|
Instituto de Teología para Religiosos | Rustica | Disponible | 251806 |
Ejercicios de lógica.
Tipos de discurso
Formalización de lógica proposicional
Método de validación
Deducción natural (pruebas formales)
Simbolización de predicados de primer orden
Cálculo de árboles.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.
2023 ITER - Todos los Derechos Reservados