Deaño, Alfredo <br/><br/>
Introducción a la lógica formal 

 - Madrid  Alianza  1999 
 - 424 p.  24 cm. 
 - Manuales/Filosofía y Pensamiento  035 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>84-206-8681-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA FORMAL - INTRODUCCIÓN
<br/><br/><label>Dewey Class. No.: </label>160  / DEA