Preservativity logic: An analogue of interpretability logic for constructive theories: An analogue of interpretability logic for constructive theories

• Autores: R. Iemhoff
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 49, Nº 3, 2003, pág. 230
• Idioma: inglés
• Texto completo no disponible (Saber más ...)