« Previous
Next »
Subject
Show values starting with
- sequent calculus[remove]2
- deduction1
- existenciální zobecnění1
- existential generalisation1
- extensional rules1
- extenzní pravidla1
- hyperintensions1
- hyperintenze1
- inference1
- match1
- natural deduction1
- odpočet1
- odvození1
- postupný počet1
- přirozený odpočet1
- sekvenční počet1
- substituce1
- substitution1
- transparent intensional logic1
- transparentní intenzivní logika1