Počet záznamů: 1
Computer Science Logic '94
SYS 0174175 LBL 00000nam^^22^^^^^^^^450 005 20240103175146.0 010 $a 3-540-60017-5 101 0-
$a eng 102 $a DE 200 1-
$a How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas 210 $a Berlin $c Springer $d 1995 225 1-
$a Lecture Notes in Computer Science $v 933 463 -1
$1 200 1 $a Computer Science Logic '94 $v s. 151-162 700 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0049345 $a Buss $b S.R. $y US $4 070
Počet záznamů: 1