{"product_id":"books-mathematical-logic-part-1-propositional-calculus-boolean-algebras-predicate-calculus-completeness-theorems-by-daniel-lascar","title":"Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems","description":"Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.","brand":"World of Books ","offers":[{"title":"Default Title","offer_id":53671015645457,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198500490.jpg?v=1781514302","url":"https:\/\/www.worldofbooks.com\/en-gb\/products\/books-mathematical-logic-part-1-propositional-calculus-boolean-algebras-predicate-calculus-completeness-theorems-by-daniel-lascar","provider":"World of Books ","version":"1.0","type":"link"}