Paolo Maffezioli
2 artykuły w 2 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
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
-
Proof theory of epistemic logic of programs Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 3 / s. 301 - 328ROK: 2014CZYSTY TEKSTBIBTEX
