Anil Nerode (nerode)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Ershov, Yu. L., Goncharov, S. S., Nerode, Anil, Remmel, J. B. and Marek, Wictor W., eds. 1998a. Handbook of Recursive Mathematics, volume 1: Recursive Model Theory. Studies in Logic and the Foundations of Mathematics n. 138. Amsterdam: North-Holland Publishing Co.
Ershov, Yu. L., Goncharov, S. S., Nerode, Anil, Remmel, J. B. and Marek, Wictor W., eds. 1998b. Handbook of Recursive Mathematics, volume 2: Recursive Algebra, Analysis and Combinatorics. Studies in Logic and the Foundations of Mathematics n. 139. Amsterdam: North-Holland Publishing Co.
Marek, Wictor W. and Nerode, Anil. 1980. “Decision Procedures for Default Logic.” Unpublished manuscript, Department of Mathematics, Cornell University.
Marek, Wictor W., Nerode, Anil and Truszczyński, Marek, eds. 1995. Logic Programming and Nonmonotonic Reasoning. Berlin: Springer.
Metakides, George and Nerode, Anil. 1975. “Recursion Theory and Algebra.” in Algebra and Logic, edited by John Newsome Crossley, pp. 209–219. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Metakides, George and Nerode, Anil. 1982. “The Introduction of Non-Recursive Methods into Mathematics.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 319–335. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Nerode, Anil. 1975. “Logic and Foundations.” in Algebra and Logic, edited by John Newsome Crossley, pp. 283–290. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Nerode, Anil and Harington, L. A. 1984. “The Work of Harvey Friedman.” Notices of the American Mathematical Society 31: 563–566.
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).