Introducción a la lógica moderna /

Saved in:

Bibliographic Details
Main Author:	Páez, Andrés (autor)
Format:	Book
Language:	Spanish
Published:	Bogotá : D.L. 2010.
Edition:	Segunda edición
Subjects:	Lógica moderna Lógica simbólica y matemática
Notas Contenido:	La lógica proposicional Semántica del lenguaje Lp Arboles de verdad en Lp Deducción natural en Lp Estrategias para construir derivaciones * SDN* Introducción a la lógica de predicados Introducción formal al lenguaje LC Semántica del lenguaje LC Arboles de verdad de LC Deducción natural en LC Introducción a la lógica modal Arboles de verdad modales Deducción natural modal Respuestas a los ejercicios pares

Cauca/Agropecuario y Teleinformática: Unknown

Holdings details from Cauca/Agropecuario y Teleinformática: Unknown
Call Number:	160 P521i
Copy Ej. 1	Available Place a Hold