熱門搜尋

    您輸入的關鍵字: 馬明輝

    分類(單選)
    配送方式(可複選)
    其他(可複選)

    搜尋結果共 6 筆, 頁數 1 / 1

    結構證明論(第2版)

    結構證明論(第2版)

    • 優惠價: 87 折, 465
    濱海礦山深部開採環境與岩層控制

    濱海礦山深部開採環境與岩層控制

    • 優惠價: 408
    結構證明論

    結構證明論

    • 優惠價: 87 折, 459

    結構證明論研究形式系統中證明的結構.《結構證明論》介紹經典邏輯和直覺主義邏輯的自然演繹和矢列演算,它們是結構證明論的基礎理論.根岑式矢列演算的基本定理是切割消除.運用證明論研究方法,通過分析證明的結構... more

    奎因邏輯哲學研究

    奎因邏輯哲學研究

    • 優惠價: 87 折, 324

    奎因是20世紀世界著名的邏輯學家與哲學家。《奎因邏輯哲學研究》是對奎因邏輯哲學思想的初探。奎因致力於為邏輯的發展注入哲學的動機,把邏輯與集合論和其他科學區分開來,確立了邏輯的范圍。《奎因邏輯哲學研究》... more

    邏輯學

    邏輯學

    • 優惠價: 87 折, 167

    本書編寫思路是從邏輯思維的基本規律出發,講解傳統邏輯和現代邏輯的理論,進而突出邏輯學知識在各種思維實踐問題中的應用,突出以下三個重點:第一、重點講解邏輯學的基本理論;第二、重點展示邏輯學的應用價值;第... more

    分次模態語言的模型論

    分次模態語言的模型論

    • 優惠價: 87 折, 235

    搜尋推薦

    您可能感興趣的活動

    • 先綁定再消費最划算!OPEN POINT 會員首次綁定成功立即送50元E-Coupon