Dual-Context Sequent Calculus and Strict Implication

• Autores: K. Kikuchi
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 48, Nº 1, 2002, págs. 87-92
• Idioma: inglés
• Texto completo no disponible (Saber más ...)