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 : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988) / coord. por Carlos Martín Vide , Vol. 2, 1989, ISBN 84-7665-517-7, págs. 629-644
• Idioma: español
• Texto completo no disponible (Saber más ...)