Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | Spanish |
| Subjects: |
Sistema de Bibliotecas del Tecnológico de Costa Rica
| Copy | Available |
|---|