.

..[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'] 前原昭二，花谷圭人，村田 全，田中尚夫..（共訳），ブルバキ 数学原論 .集合論１〜３，東京図書，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] アリストテレス（訳：山本光雄，井上 忠，加藤信朗）， アリストテレス全集.１，岩波書店， 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.

｜−＋＋−｜−−−−｜