Lógica y lenguajes formales/2 sistemas de primer orden y deducción
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libros domicilio |
| Lenguaje: | Español |
| Publicado: |
Buenos Aires
Centro Editor de América Latina
1986
|
| Colección: | Bibliotecas Universitarias
|
| Materias: |