Documents Logika a log. p rogramov ání Principy důkazových kalkulů Přirozená dedukce...

* Marie Duží vyučující: Marek Menšík [email protected] Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg.…