熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Schroeder-Heister

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

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

    Advances in Proof-theoretic Semantics

    Advances in Proof-theoretic Semantics

    • 優惠價: 3599

    itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic...... more

    The Logical Writings of Karl Popper

    The Logical Writings of Karl Popper

    • 優惠價: 2999

    Schroeder-Heister).- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper).- Chapter 3. Logic without Assumptions (1947...... more

    The Logical Writings of Karl Popper

    The Logical Writings of Karl Popper

    • 優惠價: 3599

    Schroeder-Heister).- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper).- Chapter 3. Logic without Assumptions (1947...... more

    Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    • 優惠價: 4199

    itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic...... more

    Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

    Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

    • 優惠價: 3299
    Extensions of Logic Programming: 5th International Workshop, ELP ’’96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

    Extensions of Logic Programming: 5th International Workshop, ELP ’’96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

    • 優惠價: 3299
    Substructural Logics

    Substructural Logics

    • 優惠價: 8700

    Substructural logics comprise a family of nonclassical logics that arose in response to problems in ... more

    Extensions of Logic Programming: Second International Workshop, ELP ’’91, Stockholm, Sweden, January 27-29, 1991. Proceedings

    Extensions of Logic Programming: Second International Workshop, ELP ’’91, Stockholm, Sweden, January 27-29, 1991. Proceedings

    • 優惠價: 3299
    Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings

    Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings

    • 優惠價: 3299

    This volume contains papers presented at an international workshop. It gives an overview of various ... more

    搜尋推薦

    另外從您輸入的關鍵字中,推薦您關鍵字: schubertlieder 的結果(請點選看全部符合的商品)

    您可能感興趣的活動

    • 6月新會員入會100加贈比薩買小送大優惠