Počet záznamů: 1
On lengths of proofs in non-classical logics
- 1.
SYSNO 0337052 Název On lengths of proofs in non-classical logics Překlad názvu O délkách důkazů v neklasických logikách Tvůrce(i) Hrubeš, Pavel (MU-W) RID, SAI, ORCID Zdroj.dok. Annals of Pure and Applied Logic. Roč. 157, 2-3 (2009), s. 194-205. - : Elsevier Druh dok. Článek v odborném periodiku CEZ AV0Z10190503 - MU-W (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova length of proof * propositional logic * modal logic * intuitionistic logic Trvalý link http://hdl.handle.net/11104/0181141 Název souboru Staženo Velikost Komentář Verze Přístup Hrubes1.pdf 1 2.2 MB Vydavatelský postprint vyžádat
Počet záznamů: 1