數學邏輯

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

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

什麼是邏輯與集合 [NT 59711] by: 李正宏 ([NT 1579] Language materials, printed)

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

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

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

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