Syntax highlighting of 4ca9b57 ~( 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átovy poznámky](https://github.com/martinpilat/logic-book/blob/master/main.pdf)