Un estudio de las funciones parciales en la lógica de primer orden

• Autores: Antonio Javier Gavilanes Franco
• Localización: Lenguajes naturales y lenguajes formales IV: vol 2. / coord. por Carlos Martín Vide , 1989, ISBN 8476655177, págs. 629-644
• Idioma: español
• Texto completo no disponible (Saber más ...)