Počet záznamů: 1
Simulating non-prenex cuts in quantified propositional calculus
- 1.JEŘÁBEK, E., 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. Dostupné z: https://doi.org/10.1002/malq.201020093.
Počet záznamů: 1