{"product_id":"first-course-in-logic","title":"First Course in Logic","description":"\u003cp\u003eA First Course in Logicis 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.\u003c\/p\u003e","brand":"Taylor \u0026 Francis","offers":[{"title":"Default Title","offer_id":44556379357422,"sku":"9780815386643","price":267.75,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0630\/9612\/7726\/files\/9780815386643_d65dc7b1-1235-47be-9ea8-4a7478a0c0a8.jpg?v=1704949438","url":"https:\/\/bookland.com.au\/products\/first-course-in-logic","provider":"Book Land AU","version":"1.0","type":"link"}