ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "strong Kleene logic"
strong Kleene logic
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Filozofická fakulta
