Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Artículo |
| Lenguaje: | Spanish |
| Materias: |
Sistema de Bibliotecas del TEC
| Copia | Disponible |
|---|