Model theory and proof theory of coalgebraic predicate logic
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Research output: Contribution to journal › Article › peer-review
6
Citations
(Scopus)