1 |
Goldblatt, R., "Mathematical Modal Logic: A View of its Evolution," Dov G. Gabbay & John Woods(eds.), Handbook of the History of Logic Volume 7: Logic and the Modalities in the Twentieth Century, Elsevier, 2006.
|
2 |
Hajek, P., "A New Small Emendation of Godel's Ontological Proof," Studia Logica 71 (2002):149-163.
DOI
ScienceOn
|
3 |
Godel, K., "Ontological Proof(1970)," Collected Works III: Unpublished Essays and Lectures., S. Feferman et al.(eds.), Oxford University Press, 1995.
|
4 |
Fitting, M., Types, Tableaus, and Godel's God, Kluwer Academic Publishers, 2000.
|
5 |
Van Atten, M. & Kennedy, J., "Godel's Logic," Dov G. Gabbay & John Woods(eds.), Handbook of the History of Logic Volume 5: Logic from Russell to Church, Elsevier, 2009.
|
6 |
Godel, K., "An interpretation of the intuitionistic propositional calculus," Collected Works. I : Publications 1929-1936, S. Feferman et al.(eds.), Oxford University Press, 1986.
|
7 |
Boolos, G., The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
|
8 |
Dawson, J., Logical Dilemmas: The Life and Work of Kurt Godel, A. K. Peters, 1997.
|
9 |
Anderson, A., "Some Emendations on Godel's Ontological Proof," Faith and Philosophy 7 (1990):291-303.
DOI
|
10 |
현우식, "쿠르트 괴델의 수학적 신학," 한국기독교신학논총 49 (2007), 171-196.
|
11 |
김용운.김용국, 지성의 비극: 수학정신의 탐구, 피타고라스에서 괴델까지, 일지사, 1992.
|
12 |
박창균, "괴델의 삶과 사상," 한국수학사학회지 19 (2006), No.2, 47-58.
과학기술학회마을
|
13 |
현우식, "괴델이 보는 수학의 토대," 한국수학사학회지 20 (2007), No.3, 17-26.
과학기술학회마을
|
14 |
Oppy, G., Arguing about Gods, Cambridge University Press, 2006.
|
15 |
Hao, W., A Logical J ourney: From Godel to Philosophy, The MIT Press, 1996.
|
16 |
Hao, W., Reflection on Kurt Godel, The MIT Press, 1991.
|
17 |
Oppy, G., "Godelian Ontological Arguments," Analysis 56 (1996):226-230.
DOI
ScienceOn
|
18 |
Godel, K., "Review of Becker 1930: On Modal Logic," Collected Works. I : Publications 1929-1936, S. Feferman et al.(eds.), Oxford University Press, 1986.
|
19 |
Pickover, C., The Loom of God: Mathematical Tapestries at the Edge of Time, Perseus Book, 1997.
|
20 |
Sobel, J., Logic and Theism: Arguments For and Against Beliefs in God, Cambridge University Press, 2004.
|