Syntax highlighting of 03a4191 ~( Archiv/Výroková a predikátová logika)
{{předmět|Výroková a predikátová logika|Petr Štěpánek|AIL062}} [[Category:Matematika pro informatiky]]
{{předmět|Výroková a predikátová logika|Petr Štěpánek|AIL062}} [[Category:Matematika pro informatiky]]