Request file
Review/Citation: JEŘÁBEK, Emil, NGUYEN, P. Simulating non-prenex cuts in quantified propositional calculus. Mathematical Logic Quarterly. 2011, 57(5), 524-532. ISSN 0942-5616. E-ISSN 1521-3870
Requested document: Jerabek2.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.