數理邏輯

數理邏輯引論 [NT 59711] by: 朱梧檟; 肖奚安 ([NT 8598] Electronic resources)

數理邏輯發展史 [NT 59711] by: 尼里奇(Nidritch, P. H.); 劉福增 ([NT 1579] Language materials, printed)

缺省邏輯的擴充 青海民族學院院長基金資助項目 青海民族學院博士基金資助項目(06D003);青海民族學院學術叢書 [NT 59711] by: 傅麗 ([NT 8598] Electronic resources)

數理邏輯 [NT 59711] by: 陳育澱; 黃永裕; 謝介銘 ([NT 1579] Language materials, printed)

符號邏輯入門 [NT 59711] by: 巴森(Basson, A. H.); 吳定遠 ([NT 1579] Language materials, printed)

GMAT邏輯推理：分類思維訓練及真題解析 [NT 59711] by: 陳向東 ([NT 1579] Language materials, printed)

數理邏輯引論 [NT 59711] by: 王憲鈞 ([NT 1579] Language materials, printed)

邏輯：形式推理的技術 [NT 59711] by: 劉福增; 嘉理錫(Kalish, Donald); 孟塔庫(Montague, Richard); 馬爾(Mar, Gary) ([NT 1579] Language materials, printed)

意義學 [NT 59711] by: 李安宅 ([NT 1579] Language materials, printed)

符號邏輯 [NT 59711] by: 彭孟堯 ([NT 1579] Language materials, printed)