{"product_id":"logic-proof-and-computation-second-edition-9781784561277","title":"Logic, Proof and Computation second edition","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eBeginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Gödel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.","brand":"Upfront Publishing","offers":[{"title":"Default Title","offer_id":52085527740759,"sku":"9781784561277","price":15.0,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/logic-proof-and-computation-second-edition-9781784561277","provider":"Book Curl","version":"1.0","type":"link"}