{"product_id":"first-course-in-logic-3","title":"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","brand":"Taylor \u0026 Francis Inc","offers":[{"title":"Default Title","offer_id":54238635524440,"sku":"9780815386650","price":82.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9780815386650.jpg?v=1777571120","url":"https:\/\/agendabookshop.com\/products\/first-course-in-logic-3","provider":"Agenda Bookshop","version":"1.0","type":"link"}