Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados

• Autores: Max A. Freund
• Localización: Crítica: revista hispanoamericana de filosofía, ISSN 0011-1503, Vol. 24, Nº. 72, 1992, págs. 47-72
• Idioma: español
• DOI: 10.22201/iifs.18704905e.1992.857
• Texto completo no disponible (Saber más ...)