數學邏輯

命運演算法：現代邏輯數學講座之二 by: 劉福增; 尼迪奇(Nidditch, P. H.) (Language materials, printed)

設基法概說：現代邏輯數學講座之一 by: 布蘭奇(Blanche, Robert); 劉福增 (Language materials, printed)

什麼是邏輯與集合 by: 李正宏 (Language materials, printed)

算術基礎：對於數這個概念的一種邏輯數學的研究 by: 弗雷格(Frege, Gottlob); 王路 (Language materials, printed)

數理哲學導論 by: 羅素(Russell, Bertrand); 晏成書 (Language materials, printed)

給討厭數學的人：數學的奧妙&生活 by: 小室直樹; 李毓昭 (Language materials, printed)

邏輯與演繹 by: 吳大樑; 過伯祥 (Language materials, printed)