{"product_id":"practical-foundations-of-mathematics-hardback-9780521631075","title":"Practical Foundations of Mathematics (Hardback) 9780521631075","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003ePractical Foundations of Mathematics\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eThis book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003ePaul Taylor (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521631075, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 13 May 1999\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e588 pages\u003cbr\u003e23.6 x 15.7 x 3.5 cm, 0.88 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003eReview of the hardback: 'This is a fascinating and rewarding book … each chapter has several pages of subtle, provocative and imaginative exercises. In summary, it is a magnificent compilation of ideas and techniques: it is a mine of (well-organised) information suitable for the graduate student and experienced researcher alike.' Roy Dyckhoff, Bulletin of the London Mathematical Society\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003ePractical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. First order reasoning\u003cbr\u003e 2. Types and induction\u003cbr\u003e 3. Posets and lattices\u003cbr\u003e 4. Cartesian closed categories\u003cbr\u003e 5. Limits and colimits\u003cbr\u003e 6. Structural recursion\u003cbr\u003e 7. Adjunctions\u003cbr\u003e 8. Algebra with dependent types\u003cbr\u003e 9. The quantifiers.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical foundations [\u003ca title=\"See our other books on Mathematical foundations\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20foundations%20%5BPBC%5D%22\"\u003ePBC\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":46003073581336,"sku":"9780521631075","price":133.59,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521631075i_13fe9fe9-d0ae-465b-ac35-c1e83597006f.jpg?v=1691379242","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/practical-foundations-of-mathematics-hardback-9780521631075","provider":"Freshly Printed Books","version":"1.0","type":"link"}