{ "item_title" : "Mathematical Logic", "item_author" : [" George Tourlakis "], "item_description" : "Mathematical Logic presents mathematical or symbolic logic as a reliable tool for deductive reasoning. It trains the student in both the established Hilbert style of writing proofs in mathematics, as well as in the emerging equational style that finds fruitful application in computer science curricula, especially in the areas of software engineering and program correctness. There are extensive sets of examples, remarks, problems, references, and textual discussions that aim to help the reader understand what makes logic a powerful tool in the scheme of mathematical truths.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/47/028/074/0470280743_b.jpg", "price_data" : { "retail_price" : "124.95", "online_price" : "124.95", "our_price" : "124.95", "club_price" : "124.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details