{"product_id":"a-first-course-in-logic-mark-verus-lawson-9780815386650","title":"A First Course in Logic","description":"\u003cp\u003e\u003cem\u003eA First Course in Logic\u003c\/em\u003e 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?\u003c\/p\u003e\u003cp\u003eSurprisingly 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Mark Verus Lawson\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0815386656\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780815386650\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e CRC Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 09\/26\/2018\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 250\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback","brand":"Mark Verus Lawson","offers":[{"title":"Paperback","offer_id":48447788056831,"sku":"9780815386650","price":94.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_16fbed1f-2061-43de-8463-a26902cc5a6e.jpg?v=1777234814","url":"https:\/\/www.whiterainbookhouse.com\/products\/a-first-course-in-logic-mark-verus-lawson-9780815386650","provider":"WR Book House","version":"1.0","type":"link"}