Počet záznamů: 1  

Simulating non-prenex cuts in quantified propositional calculus

    1.
    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. Dostupné z: doi: 10.1002/malq.201020093.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše