Number of the records: 1
rozhodnutelnost
SYS 0366808 LBL -----nz--a22-----n--4500 003 CZ-PrNK 005 20240910221850.0 008 240711|n|anznnbabn-----------n-a|a------ 040 $a ABA001 $b cze $d ABA001 072 -7
$a 510 $x Obecné úvahy o matematice $2 Konspekt $9 13 080 $a 510.6:511.526 $2 MRF_2014 150 $a rozhodnutelnost 550 $a Gödelovy věty $7 cbvk_us_auth*0227717 550 $w g $a matematická logika $7 cbvk_us_auth*v0012244 750 07
$a decidability $2 eczenas
Number of the records: 1