Eugenio Orlandelli
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Super-Strict Implications Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 1 / s. 1 - 34ROK: 2021CZYSTY TEKSTBIBTEX
-
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 2 / s. 137 - 158ROK: 2019CZYSTY TEKSTBIBTEX
