TY  - GEN
AU  - Deaño, Alfredo
TI  - Introducción a la lógica formal
SN  - 84-206-8681-6
U1  - 160 
PY  - 1999///
CY  - Madrid
PB  - Alianza
KW  - LÓGICA FORMAL - INTRODUCCIÓN
N1  - 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
ER  -