Proofs with monotone cuts

• Autores: Emil Jerábek
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 58, Nº. 3, 2012, págs. 177-187
• Idioma: inglés
• Texto completo no disponible (Saber más ...)