Syntax highlighting of NAIL062
# NAIL062 Výroková a predikátová logika <{Box(infobox)}> |K |V | |-----|-----| | Učitel | [doc. Mgr. Petr Gregor, Ph.D.](https://ktiml.mff.cuni.cz/~gregor/) | <{/Box}> ## Poznámky - [Pilátovi poznámky](https://github.com/martinpilat/logic-book/blob/master/main.pdf)