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...

Полное описание

Библиографические подробности

Главный автор:	Lungarzo, Carlos (autor)
Формат:	‌
Язык:	испанский
Опубликовано:	Buenos Aires, Argentina : Centro Editor de América Latina, 1986
Серии:	(Bibliotecas Universitarias. Lógica y Epistemología)
Предметы:	Filosofía Lógica Deducción Lógica
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!