{"title":"Mathematics: Logic \u0026 Sets","description":"","products":[{"product_id":"the-joy-of-abstraction","title":"The Joy of Abstraction","description":"Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematical thought processes and help you develop your own thinking, with no formal mathematical background needed. The book brings abstract mathematical ideas down to earth using examples of social justice, current events, and everyday life – from privilege to COVID-19 to driving routes. The journey begins with the ideas and workings of abstract mathematics, after which you will gently climb toward more technical material, learning everything needed to understand category theory, and then key concepts in category theory like natural transformations, duality, and even a glimpse of ongoing research in higher-dimensional category theory. For fans of How to Bake Pi, this will help you dig deeper into mathematical concepts and build your mathematical background.","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":43461315723503,"sku":"9781108708449","price":14.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/products\/9781108477222i.jpg?v=1664797228"},{"product_id":"basic-category-theory","title":"Basic Category Theory","description":"At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. For each new categorical concept, a generous supply of examples is provided, taken from different parts of mathematics. At points where the leap in abstraction is particularly great (such as the Yoneda lemma), the reader will find careful and extensive explanations. Copious exercises are included.","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":44289708523759,"sku":"9781107044241","price":49.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9781107044241i.jpg?v=1701875975"},{"product_id":"modern-mathematical-logic","title":"Modern Mathematical Logic","description":"\u003cp\u003e\u003cspan\u003eThis textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.\u003c\/span\u003e\u003c\/p\u003e","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":56017868095874,"sku":"9781108833141","price":52.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9781108833141i.jpg?v=1764341898"},{"product_id":"sale-notes-on-logic","title":"SALE Notes on Logic and Set Theory","description":"\u003cp\u003e\u003cstrong\u003eThis book is unused and unread. It has some cosmetic imperfections such as scuffing, creasing or fading. It might be stamped 'damaged'.\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eThis book cannot be discounted further\u003c\/strong\u003e\u003cstrong\u003e.\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003eThis short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer scientists whose primary interests lie elsewhere.\u003c\/p\u003e","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":56607051809154,"sku":"9780521336925","price":18.4,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9780521336925i.jpg?v=1777738914"},{"product_id":"sale-set-theory","title":"SALE  Set Theory for the Working Mathematician","description":"\u003cp\u003e\u003cstrong\u003eThis book is unused and unread. It has some cosmetic imperfections such as scuffing, creasing or fading. It might be stamped 'damaged'.\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eThis book cannot be discounted further.\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003eThis text presents methods of modern set theory as tools that can be usefully applied to other areas of mathematics. The author describes numerous applications in abstract geometry and real analysis and, in some cases, in topology and algebra. The book begins with a tour of the basics of set theory, culminating in a proof of Zorn's Lemma and a discussion of some of its applications. The author then develops the notions of transfinite induction and descriptive set theory, with applications to the theory of real functions. The final part of the book presents the tools of 'modern' set theory: Martin's Axiom, the Diamond Principle, and elements of forcing. Written primarily as a text for beginning graduate or advanced level undergraduate students, this book should also interest researchers wanting to learn more about set theoretical techniques applicable to their fields.\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eLarge number of examples for the basic techniques\u003c\/li\u003e\n\u003cli\u003eApplications to other areas of mathematics\u003c\/li\u003e\n\u003cli\u003eSimple presentation of modern methods\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":56607125995906,"sku":"9780521594653","price":19.2,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9780521594653.gif?v=1778858295"},{"product_id":"sale-a-shorter-model-theory","title":"SALE A Shorter Model Theory","description":"\u003cp\u003e\u003cstrong\u003eThis book is unused and unread. It has some cosmetic imperfections such as scuffing, creasing or fading. It might be stamped 'damaged'.\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eThis book cannot be discounted further.\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003eThis is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading.\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eSuitable for graduate courses\u003c\/li\u003e\n\u003cli\u003eExperienced teacher\u003c\/li\u003e\n\u003cli\u003ePrevious book by Hodges was encyclopaedic but has sold about 1200 copies\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":56607126126978,"sku":"9780521587136","price":26.4,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9780521587136.gif?v=1778858502"},{"product_id":"an-introduction-to-string-diagrams-for-computer-scientists","title":"An Introduction to String Diagrams for Computer Scientists","description":"\u003cp\u003eString diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual representation of complex scientific ideas, while also allowing rigorous mathematical treatment. Originating in category theory, string diagrams have since evolved into a versatile formalism, extending well beyond their abstract algebraic roots, and offering alternative entry points to their study. This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal language theory, treating string diagrams as a syntax with its own semantics. They survey the basic theory, outline fundamental principles, and highlight modern applications of string diagrams in different fields. This title is also available as open access on Cambridge Core.\u003c\/p\u003e","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":56668843114882,"sku":"9781009625746","price":17.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9781009625746i.jpg?v=1779636317"},{"product_id":"theoretical-computer-science-for-the-working-category-theorist","title":"Theoretical Computer Science for the Working Category Theorist","description":"\u003cp\u003eUsing basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.\u003c\/p\u003e","brand":"Cambridge University Press Bookshop","offers":[{"title":"Default Title","offer_id":56669806756226,"sku":"9781108792745","price":18.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0475\/2031\/7597\/files\/9781108792745i.jpg?v=1779714932"}],"url":"https:\/\/www.cambridgebookshop.co.uk\/collections\/mathematics-logic-sets.oembed","provider":"Cambridge University Press Bookshop","version":"1.0","type":"link"}