od panacekcz » 3. 3. 2012 17:03
Jelikož při čtení Mlčkova textu mám občas problém se spoustou různých zápisů definovaných všude možně, udělal jsem přehled značení s vysvětlením nebo definicí a číslem stránky, kde je zavedeno.
http://www.ms.mff.cuni.cz/~dortv/logika/Jelikož při čtení Mlčkova textu mám občas problém se spoustou různých zápisů definovaných všude možně, udělal jsem přehled značení s vysvětlením nebo definicí a číslem stránky, kde je zavedeno.
[url]http://www.ms.mff.cuni.cz/~dortv/logika/[/url]