熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Jon Etchemendy

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

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

    The Liar: An Essay on Truth and Circularity

    The Liar: An Essay on Truth and Circularity

    • 優惠價: 3650

    study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop...... more

    Logical Reasoning With Diagrams & Sentences: Using Hyperproof

    Logical Reasoning With Diagrams & Sentences: Using Hyperproof

    • 優惠價: 3300

    The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analy... more

    Turing’s World 3.0 Windows Version

    Turing’s World 3.0 Windows Version

    • 優惠價: 1377

    Turing s World is a self-contained introduction to Turing machines, one of the fundamental notions o... more

    Language, Proof and Logic

    Language, Proof and Logic

    • 優惠價: 3040

    Language Proof and Logic is available as a physical book with the software included on CD and as a d... more

    Tarski’s World

    Tarski’s World

    • 優惠價: 2397

    Tarski s World is an innovative and exciting method of introducing students to the language of first... more

    Language, Proof and Logic

    Language, Proof and Logic

    • 優惠價: 2470
    Hyperproof

    Hyperproof

    • 優惠價: 2219

    Hyperproof is a system for learning the principles of analytical reasoning and proof construction, c... more

    Tarski’s World: Version 4.0 for the Macintosh/Book and Disk

    Tarski’s World: Version 4.0 for the Macintosh/Book and Disk

    • 優惠價: 1140
    Tarski’s World: Version 4.0 for MS Windows/Book and Disk

    Tarski’s World: Version 4.0 for MS Windows/Book and Disk

    • 優惠價: 1350

    Tarski s World 4.0 is an innovative and enjoyable way to introduce your students to the language of ... more

    The Language of First-Order Logic: Including the Macintosh Version of Tarski’s World 4.0

    The Language of First-Order Logic: Including the Macintosh Version of Tarski’s World 4.0

    • 優惠價: 2050

    The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisti... more

    Turing’s World 3.0 for the Macintosh: An Introduction to Computability Theory/Book and Disk

    Turing’s World 3.0 for the Macintosh: An Introduction to Computability Theory/Book and Disk

    • 優惠價: 758

    搜尋推薦

    您可能感興趣的活動

    • 618夏購狂歡派對