Subject
Show values starting with
- implicit versus explicit1
- inference1
- logical individuals1
- match1
- minimal semantics1
- natural deduction1
- normative systems1
- odpočet1
- odvození1
- paradox1
- possible world semantics1
- postupný počet1
- procedural isomorphism1
- přirozený odpočet1
- roles1
- sequent calculus1
- structured meaning1
- time duration1
- time interval1
- time point1