The top documents tagged [proof calculia proof]

Logika a log. p rogramov ání Principy důkazových kalkulů Přirozená dedukce (11.přednáška)

---

22 views