María Manzano
2 artykuły w 1 czasopismach
-
A Semantics for Equational Hybrid Propositional Type Theory Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 3-4 / s. 121 - 1382014CZYSTY TEKST
Antonia Huertas, María Manzano, Manuel A. Martins, A Semantics for Equational Hybrid Propositional Type Theory, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 121 - 138
BIBTEX@Article{ authors = " Antonia Huertas, María Manzano, Manuel A. Martins", title = "A Semantics for Equational Hybrid Propositional Type Theory", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "121 - 138" }
-
Identity, Equality, Nameability and Completeness Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 3-4 / s. 169 - 1952017CZYSTY TEKST
María Manzano, Manuel Crescencio Moreno, Identity, Equality, Nameability and Completeness , Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 3-4, s. 169 - 195
BIBTEX@Article{ authors = " María Manzano, Manuel Crescencio Moreno", title = "Identity, Equality, Nameability and Completeness ", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 3-4", pages = "169 - 195" }
