rdf-syntax-grammar
mods: Lógica y Lenguajes Formales: Lenguaje, Conjuntos y Estructuras Lungarzo, Carlos creator (autor) text monographic ESP 164 p. 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 los esquemas de las teorías de conjuntos, clases y relaciones. C. Lungarzo. XX Filosofía Lógica Deducción Lógica 162. LUN V. 1 (Bibliotecas Universitarias Lógica y Epistemología) 950-25-1315-0 Acervo ITESO - Biblioteca 20260624000000.0 000026878