Number of the records: 1
teorie důkazu
SYS 0067425 LBL -----cz--a22-----n--4500 003 CZ-COSMO 005 20241011155256.3 008 000811|n|anznnbabn-----------|-a|a------ 040 $a ABA001 $b cze $d ABA001 072 -7
$a 16 $x Logika $2 Konspekt $9 5 150 $a teorie důkazu 550 $7 vy_us_auth*0083210 $a vědecké důkazy 750 07
$a proof theory $2 eczenas
Number of the records: 1