Lógica y lenguajes formales : sistemas de primer orden y deducción /

Guardado en:
Detalles Bibliográficos
Autor principal: Lungarzo, Carlos
Formato: Libro
Lenguaje:Español
Publicado: Buenos Aires : Centro Editor de América Latina, 1986.
Colección:Biblioteca universitarias
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00625nam a2200205 4500
001 031134
003 arbauncb
008 150429s1986 ag g 000 0 spa d
005 20171018135634.0
040 |a AR-BaUNCB  |c AR-BaUNCB 
245 1 0 |a Lógica y lenguajes formales :  |b sistemas de primer orden y deducción /  |c Carlos Lungarzo 
260 |a Buenos Aires :  |b Centro Editor de América Latina,  |c 1986. 
440 0 |a Biblioteca universitarias 
300 |a 269 p.  |c 20 cm 
020 |a 9502513185 
100 1 |a Lungarzo, Carlos 
082 0 4 |a 164 
650 7 |a Lógica matemática  |2 unescot 
653 |a Lenguajes formales 
999 |c 31031  |d 31031