Stránka 1 z 1

Přehled značení

Napsal: 3. 3. 2012 17:03
od panacekcz
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/