Manuel A. Martins
3 artykuły w 1 czasopismach
-
Admissible Equivalence Systems Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 17 - 332010CZYSTY TEKST
Sergey Babenyshev, Manuel A. Martins, Admissible Equivalence Systems, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 17 - 33
BIBTEX@Article{ authors = " Sergey Babenyshev, Manuel A. Martins", title = "Admissible Equivalence Systems", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "17 - 33" }
-
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" }
-
On the Injectivity of the Leibniz Operator Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 4 / s. 203 - 2112005CZYSTY TEKST
L. Descalco, Manuel A. Martins, On the Injectivity of the Leibniz Operator, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 203 - 211
BIBTEX@Article{ authors = " L. Descalco, Manuel A. Martins", title = "On the Injectivity of the Leibniz Operator", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "203 - 211" }
