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

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Lungarzo, Carlos (autor)
Fformat: Llyfr
Iaith:Sbaeneg
Cyhoeddwyd: Buenos Aires, Argentina : Centro Editor de América Latina, 1986
Cyfres:(Bibliotecas Universitarias. Lógica y Epistemología)
Pynciau:
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Manylion daliadau o IT1
Rhif Galw:
162. LUN V. 1
Ejemplar 0268780100
Disponible
Préstamo 7 días a 90
Casgliad:
Colección General
Nodiadau:
Ubicar en Nivel 1 Área de Colección General