Moschovakis obtuvo su doctorado en la Universidad de Wisconsin-Madison en 1965 bajo la dirección de Stephen Kleene , con una disertación titulada Disyunción, existencia y *-eliminabilidad en el análisis intuicionista formalizado .
Moschovakis, Joan Rand (2009). "La lógica de Brouwer y Heyting". En Gabbay, Dov M.; Woods, John (eds.). Manual de historia de la lógica. Vol. 5. Lógica desde Russell hasta Church . Manual de historia de la lógica. Vol. 5. Ámsterdam: Elsevier/Holanda del Norte. págs. 77–125. CiteSeerX 10.1.1.117.9445 . doi :10.1016/S1874-5857(09)70007-X. ISBN9780444516206.Sr. 2668177 .
Moschovakis, Joan Rand (1987). "La anarquía relativa en el análisis intuicionista". Journal of Symbolic Logic . 52 (1): 68–88. doi :10.2307/2273863. JSTOR 2273863. MR 0877856.
Moschovakis, Joan Rand (1971). "¿No puede haber funciones no recursivas?". Journal of Symbolic Logic . 36 (2): 309–315. doi :10.2307/2270266. JSTOR 2270266. MR 0294087.
Referencias
^ "Joan Rand Moschovakis - Occidental College - The Liberal Arts College en Los Ángeles". oxy.edu . 2018-10-03.
^ "Joan Moschovakis". ucla.edu .
^ "Las conferencias Lindström - Departamento de Filosofía, Lingüística y Teoría de la Ciencia, Universidad de Gotemburgo, Suecia". Universidad de Gotemburgo . Archivado desde el original el 29 de octubre de 2016. Consultado el 27 de agosto de 2015 .