Richard A. Shore (shore-ra)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Buss, Samuel R., Kechris, Alexander S., Pillay, Anand and Shore, Richard A. 2001. “The Prospects for Mathematical Logic in the Twenty-First Century.” The Bulletin of Symbolic Logic 7(2): 169–196.
Halpern, Joseph Y. and Shore, Richard A. 1999. “Reasoning about Common Knowledge with Infinitely Many Agents.” in IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.
Nerode, Anil and Shore, Richard A. 1980. “Second Order Logic and First Order Theories of Reducibility Orderings.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 181–200. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Nerode, Anil and Shore, Richard A. 1993. Logic for Applications. 1st ed. Berlin: Springer. First edition: Nerode and Shore (1997).
Nerode, Anil and Shore, Richard A. 1997. Logic for Applications. 2nd ed. Berlin: Springer. First edition: Nerode and Shore (1993).
Shore, Richard A. 1977. “\(\alpha\)-Recursion Theory.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 653–680. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.