Number of the records: 1
teorie důkazu
SYS 0091745 LBL -----cz--a22-----n--4500 003 CZ-PrNK 005 20170410155440.1 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 upol_us_auth*n0000059 080 $a 168.3 $2 MRF_2003 150 $a teorie důkazu 550 $a vědecké důkazy $7 upol_us_auth*0093111 750 07
$a proof theory $2 eczenas
Number of the records: 1