Instuitionistic phase semantics is almost classical

• Autores: M. I. Kanovich
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 16, Nº 1, 2006, págs. 67-86
• Idioma: inglés
• Texto completo no disponible (Saber más ...)