María Manzano
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
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
-
Identity, Equality, Nameability and Completeness Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 3-4 / s. 169 - 195ROK: 2017CZYSTY TEKSTBIBTEX
