A secondary semantics for Second Order Intuitionistic Propositional Logic

• Autores: M. Ferrari, C. Fiorentini
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 2, 2004, pág. 202
• Idioma: inglés
• DOI: 10.1002/malq.200310090
• Texto completo no disponible (Saber más ...)