Počet záznamů: 1
Substitution Frege and extended Frege proof systems in non-classical logics
SYS 0323651 LBL 02885^^^^^2200277^^^450 005 20240103191542.7 014 $a 000266337700001 $2 WOS 100 $a 20090525d m y slo 03 ba 101 0-
$a eng $d eng $d cze 102 $a NL 200 1-
$a Substitution Frege and extended Frege proof systems in non-classical logics 215 $a 48 s. 300 $a 1M0545 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č. 159, č. 2 (2009), s. 1-48 $1 210 $c Elsevier 541 1-
$a Substituční Fregovské a rozšířené Fregovské důkazové systémy v neklasických logikách $z cze 610 0-
$a propositional proof complexity 610 0-
$a Frege system 610 0-
$a model logic 700 -1
$3 cav_un_auth*0219256 $a Jeřábek $b Emil $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