Yehuda Schwartz
2 artykuły w 1 czasopismach
-
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 TEKST
Yehuda Schwartz, George Tourlakis, A Proof Theoretic Tool for First-Order Modal Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 93 - 110
BIBTEX@Article{ authors = "Yehuda Schwartz, George Tourlakis", title = "A Proof Theoretic Tool for First-Order Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "93 - 110" }
-
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 TEKST
Yehuda Schwartz, George Tourlakis, Pure Iteration and Substitution as the Basis of Computability, Bulletin of the Section of Logic, 2011 / Tom 40 / Numer 3-4, s. 203 - 213
BIBTEX@Article{ authors = "Yehuda Schwartz, George Tourlakis", title = "Pure Iteration and Substitution as the Basis of Computability", journal = "Bulletin of the Section of Logic", issue = "2011 / Tom 40 / Numer 3-4", pages = "203 - 213" }
