{ "item_title" : "Logical Foundations of Computer Science", "item_author" : [" Sergei Artemov", "Anil Nerode "], "item_description" : "Constructive mathematics and type theory.- Logic, automata and automatic structures.- Computability and randomness.- Logical foundations of programming.- Logical aspects of computational complexity.- Logic programming and constraints.- Automated deduction and interactive theorem proving.- Logical methods in protocol and program verification.- Logical methods in program specification and extraction.- Domain theory logic.- Logical foundations of database theory.- Equational logic and term rewriting.- Lambda and combinatory calculi.- Categorical logic and topological semantics.- Linear logic.- Epistemic and temporal logics.- Intelligent and multiple agent system logics.- Logics of proof and justification.- Nonmonotonic reasoning.- Logic in game theory and social software.- Logic of hybrid systems.- Distributed system logics.- Mathematical fuzzy logic.- System design logics.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/64/235/721/3642357210_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "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