{"product_id":"logic-induction-and-sets-paperback-9780521533614","title":"Logic, Induction and Sets (Paperback) 9780521533614","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eLogic, Induction and Sets\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eThis is an introduction to logic and the axiomatization of set theory from a unique standpoint.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eThomas Forster (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521533614, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 21 July 2003\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e246 pages, 125 exercises\u003cbr\u003e22.9 x 15.2 x 1.3 cm, 0.34 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e'The author's philosophical training leads him to accompany many definitions with lengthy reflexions which add interest and enliven the book.' Mathematika\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Definitions and notations\u003cbr\u003e 2. Recursive datatypes\u003cbr\u003e 3. Partially ordered sets\u003cbr\u003e 4. Propositional calculus\u003cbr\u003e 5. Predicate calculus\u003cbr\u003e 6. Computable functions\u003cbr\u003e 7. Ordinals\u003cbr\u003e 8. Set theory\u003cbr\u003e 9. Answers to selected questions.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Set theory [\u003ca title=\"See our other books on Set theory\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Set%20theory%20%5BPBCH%5D%22\"\u003ePBCH\u003c\/a\u003e], Mathematical logic [\u003ca title=\"See our other books on Mathematical logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20logic%20%5BPBCD%5D%22\"\u003ePBCD\u003c\/a\u003e], Philosophy of mathematics [\u003ca title=\"See our other books on Philosophy of mathematics\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Philosophy%20of%20mathematics%20%5BPBB%5D%22\"\u003ePBB\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46003154583832,"sku":"9780521533614","price":38.58,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521533614i_96a99bcd-0512-4cbb-ba2e-2c98db6bb5ec.jpg?v=1691369202","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/logic-induction-and-sets-paperback-9780521533614","provider":"Freshly Printed Books","version":"1.0","type":"link"}