.

..[1] Boole, G., An Investigation of the Laws of Thought (reprint), Dover, 1958.
..[2] ――――, The Mathematical Analysis of Logic (reprint), Basil Blackwell, 1951.
..[2'] 末木剛博(監修),西脇与作(訳), 論理の数学的分析,公論社,1977.

..[3'] 前原昭二,花谷圭人,村田 全,田中尚夫..(共訳),ブルバキ 数学原論 .集合論1〜3,東京図書,1968.

..[4'] 芹沢正三(訳),記号論理学,白水社,1959.
..[5] Crossley, J.N. et al., What is Mathematical Logic ?, .Oxford Univ. Press, 1972.
..[5'] 田中尚夫(訳),現代数理論理学入門,共立出版,1977.
..[6] Curry, H.B., Foundations of Mathematical Logic (reprint), Dover, 1977.


..[9] Haak, S., Philosophy of Logics, Cambridge Univ. Press, 1978.
[10] Hamilton, A.G., Logic for Mathematicians (revised ed.), Cambridge Univ. Press, 1978.

[11-1'] 伊藤 誠 (訳),記号論理学の基礎,大阪教育図書,1954.

[11-2'] 石本 新,竹尾治一郎..(共訳),記号論理学の基礎,大阪教育図書,1974.
[12] Hughes, G.E. & Cresswell, M.J., An Introduction to Modal Logic, Methuen. 1968.
[12'] 三浦 聡,大浜茂生,春藤修二..(共訳),様相論理入門,恒星社厚生閣,1981.
[13] Johnstone, P.T., Notes on Logic and Set Theory, Cambridge Univ. Press, 1987.
[14] Kleene, S.C., Introduction to Metamathematics, North-Holland, 1952.
[15] Kneal, W. & Kneal, M., The Development of Logic, Oxford Univ. Press, 1966.
[16] Lambek, J. & Scott, P.J., Introduction to Higher Order Categorical Logic, Cambridge Univ. Press, 1986.
[17] Lewis, C.I. & Langford, C.H., Symbolic Logic (2nd ed.), Dover, 1959.
[18] Margaris, A., First Order Mathematical Logic (reprint), Dover, 1990.
[19] Martin, N.M., Systems of Logic, Cambidge Univ. Press, 1986.
[20] Mendelson, E., Introduction to Mathematical Logic (3rd ed.), Wadsworth, 1987.
[21] Russell, B.A.W., The Principles of Mathematics, George Allen & Unwin, 1903.
[22] ―――――――, Introduction to Mathematical Philosophy, George Allen & Unwin, 1919.
[22'] 平野智治(訳), 数理哲学序説, 岩波書店,1954.
[23] Stoll, R.R., Set Theory and Logic (reprint), Dover, 1979.
[24] Szabo, M.E.(英訳), The Collected Papers of Gerhard Gentzen, North-Holland, 1969.
[25] Takeuchi, G., Proof Theory (2nd ed.), North-Holland, 1987.
[26] Tarski, A., Introduction to Logic and Methodology of Deductive Sciences (reprint), Dover, 1995.

[28] Wang, H., Popular Lectures on Mathematical Logic (reprint), Dover, 1993.
[29] Weyl, H., Philosophy of Mathematics and Natural Science, Princeton Univ. Press, 1949.
[29'] 菅原正夫,下村寅太郎,森 繁雄..(共訳), 数学と自然科学の哲学, 岩波書店,1959.
[30] Whitehead, A.N. & .Russell, B.A.W., Principia Mathematica (2nd ed.) Vol.1, Cambridge Univ. Press, 1925.
[31] Wittgenstein, L., Tractatus Logico-Philosophicus, Routledge & Kegan Paul, 1922.
[31'] 坂井秀寿,藤本隆志(訳), 論理哲学論考, 法政大学出版局, 1968.
[32] Wright, G.H. von, A Treatise on Induction and Probability, Routledge & Kegan Paul, 1951.
[33] ――――――――, Logical Studies, Routledge & Kegan Paul, 1957.
[34] アリストテレス(訳:山本光雄,井上 忠,加藤信朗), アリストテレス全集.1,岩波書店, 1971.
[34'] ――――――,The Complete Works of Aristotle, Vol.1, Vol.2 (edited by Barnes,J.), Princeton Univ. Press, 1984.
[35] ユークリッド(共訳:中村幸四郎,寺坂秀孝,伊藤俊太郎,池田美恵),ユークリッド原論,共立出版,1971.
[35'] ――――..(英訳:.Heath,T.L.),The Thirteen Books of Euclid's Elements 2nd ed. (reprint), Dover, 1956.
[36] 石谷 茂,.ε-δ・∀.と∃に泣く.現代数学社,.1990.
[37] 伊関清志,.記号論理学(述語論理).槙書店,.1973.
[38] 近藤洋逸,好並栄司..(共著.),.論理学入門.岩波書店,.1979.
[39] 坂本百大,坂井秀寿..(共著.),.新版 現代論理学.東海大学出版会,.1971.
[40] 清水義夫,.記号論理学.東京大学出版会,1984.
[41] 末木剛博,.記号論理学その成立史の研究.東京大学出版会,.1962.
[42] 杉原丈夫,.非古典論理学.槙書店,.1975.
[43] 竹内外史,八杉満利子..(共著.),.証明論入門.共立出版,.1988.
[44] 長尾 真 et al.(共編.),.岩波 情報科学辞典.岩波書店,.1990.
[45] 中谷太郎,.論理.共立出版,.1967.
[46] 日本数学会.(編.),.岩波 数学辞典.岩波書店,.1985.
[47] 萩谷昌巳,.ソフトウェア科学のための論理学.岩波書店,.1994.
[48] 福山 克,.数理論理学.培風館,.1980.
[49] 廣瀬 健,横田正一..(共著.),.ゲーデルの世界.海鳴社,.1985.
[50] 前原昭二,.数理論理学序説.共立出版,.1966.
[51] ――――,.数学とは何か?,.総合科学出版,.1971.
[52] ――――,.数理論理学.培風館,.1973.
[53] ――――,.数学基礎論入門.朝倉書店,.1977.
[54] 松本和夫,.数理論理学.共立出版,.1970.
[55] 吉田夏彦,..論理学.培風館,.1958.


|−++−|−−−−|