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

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Principal: Lungarzo, Carlos (autor)
Formato: Libro
Idioma:Lingua castelá
Publicado: Buenos Aires, Argentina : Centro Editor de América Latina, 1986
Series:(Bibliotecas Universitarias. Lógica y Epistemología)
Temas:
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Detalle de Existencias desde IT1
Número de Clasificación:
162. LUN V. 1
Ejemplar 0268780100
Disponible
Préstamo 7 días a 90
Colección:
Colección General
Notas:
Ubicar en Nivel 1 Área de Colección General