Manuel A. Martins
3 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Admissible Equivalence Systems Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 17 - 33ROK: 2010CZYSTY TEKSTBIBTEX
-
A Semantics for Equational Hybrid Propositional Type Theory Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 3-4 / s. 121 - 138ROK: 2014CZYSTY TEKSTBIBTEX
-
On the Injectivity of the Leibniz Operator Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 4 / s. 203 - 211ROK: 2005CZYSTY TEKSTBIBTEX
