Introducción a la lógica formal
Idioma: Español Idioma: Español Series Manuales/Filosofía y Pensamiento. 035 Detalles de publicación: Madrid Alianza 1999Descripción: 424 p. 24 cmISBN:- 84-206-8681-6
- 160 DEA
Contenidos:
Lógica: teoría y ejercicios.
Conceptos generales: lenguaje, metalenguaje, sintaxis, semántica, pragmática, cálculo.
Lógica proposicional: como sistema axiomático y como sistema de reglas de inferencia.
Lógica de predicados de primer orden: predicados monádicos, relaciones e identidad, reglas de inferencia.
Apéndice: lógica de predicados de orden superior
Metateoría
Lógicas no clásicas
Lógica, lingüística y psicología
Lógica formal y filosofía.
| 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 | Disponible | 246276 | ||||
|
Libro
|
Instituto de Teología para Religiosos | e.2 | Disponible | 246277 |
Lógica: teoría y ejercicios.
Conceptos generales: lenguaje, metalenguaje, sintaxis, semántica, pragmática, cálculo.
Lógica proposicional: como sistema axiomático y como sistema de reglas de inferencia.
Lógica de predicados de primer orden: predicados monádicos, relaciones e identidad, reglas de inferencia.
Apéndice: lógica de predicados de orden superior
Metateoría
Lógicas no clásicas
Lógica, lingüística y psicología
Lógica formal y filosofía.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.
2023 ITER - Todos los Derechos Reservados