ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "tree proof"
tree proof
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics
2013 |
Filozofická fakulta
