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: | |
| Acceso en línea: | Ver documento digital |
Internet
Ver documento digitalSistema de Bibliotecas de Universidad de Costa Rica
| Número de Clasificación: |
510 |
|---|---|
| Copia | Disponible |