• Shop by category
  • Powered by eBay
  • Applied Logic for Computer Scientists : Computational Deduction and Formal

    • Item No : 146536859766
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : bestpriceworldwide
    • Current Bid : US $90.56
    • * Item Description

    • The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category