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

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Lungarzo, Carlos (autor)
Format: Bog
Sprog:spansk
Udgivet: Buenos Aires, Argentina : Centro Editor de América Latina, 1986
Serier:(Bibliotecas Universitarias. Lógica y Epistemología)
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!