• Shop by category
  • Powered by eBay
  • Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz

    • Item No : 157156712378
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $73.12
    • * Item Description

    • By Steven G. Krantz. Author Steven G. Krantz. 1 Notation and First-Order Logic. - 1.1 The Use of Connectives. - 1.2 Truth Values and Truth Tables. - 1.3 The Use of Quantifiers. - 1.4 Gödel's Completeness Theorem.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category