Počet záznamů: 1
teorie důkazu
SYS 0097818 LBL 00472cz^^a2200181n^^4500 003 CZ^PrNK 005 20190715082959.3 008 000811|n|anznnbabn^^^^^^^^^^^n^a|a^^^^^^ 040 $a ABA001 $b cze $d ABA001 072 -7
$a 16 $x Logika $2 Konspekt $9 5 $T . $7 hk_us_auth*m0351130 080 $a 168.3 $2 MRF_2003 150 $a teorie důkazu $7 ph126551 550 $a vědecké důkazy $7 hk_us_auth*0078509 750 07
$a proof theory $2 eczenas
Počet záznamů: 1