Počet záznamů: 1
Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic
SYS 0403902 LBL 00000nam^^22^^^^^^^^450 005 20240103181739.2 010 $a 1-56881-114-4 101 0-
$a eng 102 $a US 200 1-
$a Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic 210 $a Natick $c ASL $d 2000 215 $a 541 s. 225 1-
$a Lecture Notes in Logic $v 13 700 -1
$3 cav_un_auth*0049345 $a Buss $b S.R. $y US $4 340 701 -1
$3 cav_un_auth*0100752 $a Hájek $b Petr $p UIVT-O $4 340 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 340 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1