Yiannis Nicholas Moschovakis

Bibliography

Kechris, Alexander S. and Moschovakis, Yiannis Nicholas. 1977. “Recursion in Higher Types.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 681–738. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Moschovakis, Yiannis Nicholas. 1970. “Determinacy and Prewellorderings of the Continuum.” in Mathematical Logic and Foundations of Set Theory. Proceedings of an International Colloquium Held Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusale, 11-14 November 1968, edited by Yehoshua Bar-Hillel, pp. 24–62. Studies in Logic and the Foundations of Mathematics n. 59. Amsterdam: North-Holland Publishing Co.
Moschovakis, Yiannis Nicholas. 1971. “Predictive Classes.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 247–263. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Moschovakis, Yiannis Nicholas. 1973. “Analytical Definability in a Playful Universe.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 77–87. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
Moschovakis, Yiannis Nicholas. 1974. Elementary Induction on Abstract Structures. Studies in Logic and the Foundations of Mathematics n. 77. Amsterdam: North-Holland Publishing Co.
Moschovakis, Yiannis Nicholas. 1977. “On the Basic Notions in the Theory of Induction.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 207–236. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
Moschovakis, Yiannis Nicholas. 1980. Descriptive Set Theory. Studies in Logic and the Foundations of Mathematics n. 100. Amsterdam: North-Holland Publishing Co.
Moschovakis, Yiannis Nicholas. 1986. “Foundations of the Theory of Algorithms I.” Los Angeles, California: Mathematics Department, UCLA.
Moschovakis, Yiannis Nicholas. 1988. “A Game-Theoretic Modelling of Concurrency.” Unpublished manuscript, Mathematics Department, University of California at Los Angeles.
Moschovakis, Yiannis Nicholas, ed. 1992. Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989. Mathematical Science Research Institute n. 89. Berlin: Springer.
Moschovakis, Yiannis Nicholas. 1997. “The Logic of Functional Recursion.” in Logic, Methodology and Philosophy of Science X: Logic and Scientific Methods – Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, 1995, edited by Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, and Johan van Benthem, pp. 179–208. Synthese Library n. 259. Dordrecht: Kluwer Academic Publishers.
Moschovakis, Yiannis Nicholas. 1998. “On Founding the Theory of Algorithms.” in Truth in Mathematics, edited by H. Garth Dales and Gianluigi Oliveri, pp. 71–104. Oxford: Oxford University Press.
Moschovakis, Yiannis Nicholas. 2001. “What is an Algorithm?” in Mathematics Unlimited – 2001 and Beyond, edited by Björn Engquist and Wilfried Schmid, pp. 919–936. Berlin: Springer.
Moschovakis, Yiannis Nicholas. 2006. “A Logical Calculus of Meaning and Synonymy.” Linguistics and Philosophy 29(1): 27–89.
Moschovakis, Yiannis Nicholas. 2010. “Kleene’s Amazing Second Recursion Theorem.” The Bulletin of Symbolic Logic 16(2): 189–239.