Simulating non-prenex cuts in quantified propositional calculus

• Autores: Emil Jerábek, Phuong Nguyen
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 5, 2011, págs. 524-532
• Idioma: inglés
• Texto completo no disponible (Saber más ...)