• Shop by category
  • Powered by eBay
  • Logic for Applications by Anil Nerode (English) Hardcover Book

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

    • By Anil Nerode, Richard A. Shore. I Propositional Logic. - 1 Orders and Trees. - 2 Propositions, Connectives and Truth Tables. - 4 Tableau Proofs in Propositional Calculus. - 5 Soundness and Completeness of Tableau Proofs.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category