Počet záznamů: 1
On lengths of proofs in non-classical logics
SYS 0337052 LBL 01444^^^^^2200289^^^450 005 20240103192900.5 014 $a 000264386500012 $2 WOS 017 $a 10.1016/j.apal.2008.09.013 $2 DOI 100 $a 20100119d m y slo 03 ba 101 0-
$a eng $d eng 102 $a NL 200 1-
$a On lengths of proofs in non-classical logics 215 $a 12 s. 463 -1
$1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 157, 2-3 (2009), s. 194-205 $1 210 $c Elsevier 541 1-
$a O délkách důkazů v neklasických logikách $z cze 610 0-
$a length of proof 610 0-
$a propositional logic 610 0-
$a modal logic 610 0-
$a intuitionistic logic 700 -1
$3 cav_un_auth*0258893 $a Hrubeš $b Pavel $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1