| Título: | Lógica y lenguajes formales/2 Sistemas de primer orden y deducción |
|---|---|
| Autor Principal: | |
| Publicado: |
Buenos Aires
Centro Editor de América Latina
|
| Fecha de edición: | 1986 |
| Descrición Física: | 269 p. |
| Series: | Bibliotecas Universitarias
|
| ISBN: | 9502513185 |
| Subjects: |

