熱門搜尋

    您輸入的關鍵字: Mundici

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

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

    Logic: A Brief Course

    Logic: A Brief Course

    • 優惠價: 3299

    This short book, geared towards undergraduate students of computer science and mathematics, is speci... more

    Advanced Lukasiewicz Calculus and MV-Algebras

    Advanced Lukasiewicz Calculus and MV-Algebras

    • 優惠價: 6599

    Preface.- Chapter 1. Prologue: de Finetti coherence criterion and Lukasiewicz logic.- Chapter 2. Rat... more

    Algebraic Foundations of Many-valued Reasoning

    Algebraic Foundations of Many-valued Reasoning

    • 優惠價: 6599

    The aim of this book is to give self-contained proofs of all basic results concerning the infinite-v... more

    Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc’97, Vienna, Austria, August 25-29, 1997 : P Roceedings

    Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc’97, Vienna, Austria, August 25-29, 1997 : P Roceedings

    • 優惠價: 5450

    This book constitutes the refereed proceedings of the 5th Kurt G del Colloquium on Computational Log... more

    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    • 優惠價: 13199
    Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    • 優惠價: 13199
    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    • 優惠價: 13199
    Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux ’’96, Terrasini (Palermo), Italy, May 15 - 17, 1996. P

    Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux ’’96, Terrasini (Palermo), Italy, May 15 - 17, 1996. P

    • 優惠價: 3299
    Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, Kgc’’93, Brno, Czech Republic, August 24-27, 1993. Proceedings

    Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, Kgc’’93, Brno, Czech Republic, August 24-27, 1993. Proceedings

    • 優惠價: 3299

    The Third Kurt Gdel Symposium, KGC’93, held in Brno, Czech Republic, August1993, is the third in a s... more

    Inside Carol Rama

    Inside Carol Rama

    • 優惠價: 3040
    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    • 優惠價: 35340

    搜尋推薦

    您可能感興趣的活動

    • 博客來【每字美句】收藏、紀錄、分享你最愛的一句