{"product_id":"a-first-course-in-logic-9780815386643","title":"A First Course in Logic","description":"\u003cp\u003e • Author(s): Mark Verus Lawson\u003cbr\u003e • Publisher: Taylor \u0026amp; Francis\u003cbr\u003e • Publisher Imprint: CRC Press\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\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","brand":"Taylor \u0026 Francis","offers":[{"title":"Hardcover","offer_id":45239228104855,"sku":"9780815386643","price":14421.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780815386643.webp?v=1769222046","url":"https:\/\/atlanticbooks.com\/products\/a-first-course-in-logic-9780815386643","provider":"Atlantic Books","version":"1.0","type":"link"}