The top documents tagged [given calculus]

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

---

22 views