Počet záznamů: 1
teorie důkazu
SYS 1000684543 LBL 00000nz---2200000o--4500 003 CZ-BrKJM 005 20191107202935.7 008 000811|n|anznnbabn-----------n-a|a 040 $a ABA001 $b cze $d ABA001 $e AACR2 072 -7
$a 16 $x Logika $2 Konspekt $9 5 080 $a 168.3 $2 MRF_2003 150 $a teorie důkazu 550 $a vědecké důkazy $7 kjm_us_auth*1000461292 750 07
$a proof theory $2 eczenas
Počet záznamů: 1