Una contribución a la teoría de modelos de Kripke para el intuicionismo

• Autores: Juan Andrés Montoya A.
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 10, Nº. 2, 2003, págs. 92-109
• Idioma: español
• Enlaces
  • Texto completo (pdf)