A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC

• Autores: V. V. Rybakov, M. Terziler, V. Remazki
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 2, 2000, págs. 207-218
• Idioma: inglés
• Texto completo no disponible (Saber más ...)