Argumentación deductiva con diagramas y árboles de forzamiento /

Saved in:

Bibliographic Details
Main Author:	Sierra A., Manuel
Format:	Book
Language:	Spanish
Published:	Medellín : Fondo Editorial Universidad EAFIT, c2010.
Subjects:	Calculo proposicional > Problemas, ejercicios, etc. Lógica de primer orden > Problemas, ejercicios, etc. Razonamiento
Notas Contenido:	Diagramación de argumentos Representación simbólica de la información Árboles de forzamiento semántico clásico Sistema deductivo para la lógica clásica.

Description
Physical Description:	253 páginas : ilustraciones ; 24 cm.
Bibliography:	Incluye referencias bibliográficas e indice
ISBN:	9789587200546

Similar Items