Number of the records: 1
On lengths of proofs in non-classical logics
- 1.
SYSNO 0337052 Title On lengths of proofs in non-classical logics Title O délkách důkazů v neklasických logikách Author(s) Hrubeš, Pavel (MU-W) RID, SAI, ORCID Source Title Annals of Pure and Applied Logic. Roč. 157, 2-3 (2009), s. 194-205. - : Elsevier Document Type Článek v odborném periodiku CEZ AV0Z10190503 - MU-W (2005-2011) Language eng Country NL Keywords length of proof * propositional logic * modal logic * intuitionistic logic Permanent Link http://hdl.handle.net/11104/0181141 File Download Size Commentary Version Access Hrubes1.pdf 1 2.2 MB Publisher’s postprint require
Number of the records: 1