6Atten, Mark van and Kennedy, Juliette, 2003, "On the philosophical development of Kurt Godel", The Bulletin of Symbolic Logic, Volume 9, Number4, Dee: pp. 425-475. 被引量：1
7Brouwer, L. E. J. ,1975, Collected Works, Vol. I. , Heyting & Freudethal(ed. ), North-Holland Publishing Company. 被引量：1
8Dawson, John W. Jr. , 1997, Logical Dilemmas The Life And Work of Kurt Codel, Massachusetts: AK Peters Wellesley. 被引量：1
9Dawson, John W. Jr. and Dawson, Cheryl A. , 2005, " Future tasks for CAMel Scholars", The Bulletin of Symbolic Logic Volume 11, Number2, June: pp. 150 - 171. 被引量：1
10Godel, Kurt, 1986, Collected Works Vol. 1, Solomon Feferman, J. W. Dawon Jr. ,S. Kleene, G. Moore and J. van Heijenoort (eds.), Oxford University Press. 被引量：1
