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]]