The top documents tagged [indirect proof formula]

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

---

22 views