{"title":"Mark Verus Lawson","description":null,"products":[{"product_id":"first-course-in-logic-book-mark-verus-lawson-9780815386650","title":"A First Course in Logic","description":"A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate\/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will?  Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":50323233767697,"sku":"NGR9780815386650","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0815386656.jpg?v=1751201893"},{"product_id":"first-course-in-logic-book-mark-verus-lawson-9780815386643","title":"A First Course in Logic","description":"A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate\/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will?  Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52402653069585,"sku":"NLS9780815386643","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53689293013265,"sku":"NIN9780815386643","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780815386643.jpg?v=1758758397"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-mark-verus-lawson.oembed","provider":"World of Books ","version":"1.0","type":"link"}