Lógica y Lenguajes Formales: Lenguaje, Conjuntos y Estructuras /

Libro que busca dar una idea global de los métodos utilizados en los razonamientos deductivos cuando estos se aplican a lenguajes formales específicos de primer orden. Comienza con la caracterización de deducción, continúa con el análisis de un lenguaje de primer orden y posteriormente desarrolla lo...

Descripción completa

Detalles Bibliográficos

Autor principal:	Lungarzo, Carlos (autor)
Formato:	Libro
Idioma:	Español
Publicado:	Buenos Aires, Argentina : Centro Editor de América Latina, 1986
Colección:	(Bibliotecas Universitarias. Lógica y Epistemología)
Temas:	Filosofía Lógica Deducción Lógica
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!