Yehuda Schwartz
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Proof Theoretic Tool for First-Order Modal Logic Opublikowano w: Bulletin of the Section of Logic 2013 / Tom 42 / Numer 3-4 / s. 93 - 1102013CZYSTY TEKSTBIBTEX
-
Pure Iteration and Substitution as the Basis of Computability Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / s. 203 - 2132011CZYSTY TEKSTBIBTEX