Antonia Huertas
1 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
