{"title":"Logic (Mathematics)","description":null,"products":[{"product_id":"encyclopedia-of-mathematics-and-its-applications-9781107086777","title":"Encyclopedia of Mathematics and its Applications","description":"\u003cp\u003eA comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825027772695,"sku":null,"price":12422.76,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107086777.jpg?v=1780655380"},{"product_id":"perspectives-in-logic-9781107272248","title":"Perspectives in Logic","description":"\u003cp\u003eThis handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825137119511,"sku":null,"price":10937.43,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107272248.jpg?v=1780655589"},{"product_id":"lecture-notes-in-logic-9781107521186","title":"Lecture Notes in Logic","description":"\u003cp\u003eA comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52827584168215,"sku":null,"price":15528.45,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107521186.jpg?v=1780657230"},{"product_id":"london-mathematical-society-student-texts-9781108206990","title":"London Mathematical Society Student Texts","description":"\u003cp\u003eA reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52828611281175,"sku":null,"price":5399.1,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108206990.jpg?v=1780659792"},{"product_id":"lecture-notes-in-logic-9781108227988","title":"Lecture Notes in Logic","description":"\u003cp\u003eThis groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52828612428055,"sku":null,"price":21739.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108227988.jpg?v=1780659818"},{"product_id":"encyclopedia-of-mathematics-and-its-applications-9781108266123","title":"Encyclopedia of Mathematics and its Applications","description":"\u003cp\u003eOffers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52828693037335,"sku":null,"price":18904.2,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108266123.jpg?v=1780660055"},{"product_id":"invitation-to-applied-category-theory-9781108582247","title":"Invitation to Applied Category Theory","description":"\u003cp\u003eCategory theory reveals commonalities between structures of all sorts. This book shows its potential in science, engineering, and beyond.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52833970028823,"sku":null,"price":6478.92,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108582247.jpg?v=1780661965"},{"product_id":"new-mathematical-monographs-9781108609593","title":"New Mathematical Monographs","description":"\u003cp\u003eOffers a comprehensive presentation of spectral spaces focussing on their topology and close connections with algebra, ordered structures, and logic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52835587817751,"sku":null,"price":21739.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108609593.jpg?v=1780662636"},{"product_id":"introduction-to-category-theory-9781139235099","title":"Introduction to Category Theory","description":"\u003cp\u003eThe basics of category theory beautifully explained with a wealth of exercises. Solutions are available online.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52867447193879,"sku":null,"price":5131.14,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139235099.jpg?v=1780899794"},{"product_id":"multiagent-systems-9781139235044","title":"Multiagent Systems","description":"\u003cp\u003eA thorough introduction to a burgeoning interdisciplinary field, with an emphasis on foundational material.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52867447357719,"sku":null,"price":8236.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139235044.jpg?v=1780899799"},{"product_id":"conceptual-mathematics-9781139637763","title":"Conceptual Mathematics","description":"\u003cp\u003eThis truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871198802199,"sku":null,"price":6883.85,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139637763.jpg?v=1780901472"},{"product_id":"cambridge-mathematical-library-9781139930611","title":"Cambridge Mathematical Library","description":"\u003cp\u003eAn abridged text of Principia Mathematica, suitable for an introductory study of logic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52872597668119,"sku":null,"price":14172.64,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139930611.jpg?v=1780902764"},{"product_id":"encyclopedia-of-mathematics-and-its-applications-9781139986366","title":"Encyclopedia of Mathematics and its Applications","description":"\u003cp\u003eBased on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52872650031383,"sku":null,"price":19849.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139986366.jpg?v=1780902985"},{"product_id":"london-mathematical-society-lecture-note-series-9781316290477","title":"London Mathematical Society Lecture Note Series","description":"\u003cp\u003eThis book brings the researcher up to date with recent applications of mathematical logic to number theory.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52875534696727,"sku":null,"price":8101.8,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316290477.jpg?v=1780904588"},{"product_id":"lecture-notes-in-logic-9781316856949","title":"Lecture Notes in Logic","description":"\u003cp\u003eExplores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887612653847,"sku":null,"price":15528.45,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316856949.jpg?v=1780907166"},{"product_id":"algorithms-for-constructing-computably-enumerable-sets-9783031269042","title":"Algorithms for Constructing Computably Enumerable Sets","description":"\u003cp\u003eLogicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.  This textbook presents these techniques in a unified way that should appeal to computer scientists. Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called \"classical recursion theory\").  This area of study has produced some of the most beautiful and subtle algorithms ever developed for any problems.  These algorithms are little-known outside of a niche within the mathematical logic community.  By presenting them in a style familiar to computer scientists, the intent is to greatly broaden their influence and appeal. Topics and features: ·         All other books in this field focus on the mathematical results, rather than on the algorithms. ·         There are many exercises here, most of which relate to details of the algorithms. ·         The proofs involving priority trees are written here in greater detail, and with more intuition, than can be found elsewhere in the literature. ·         The algorithms are presented in a pseudocode very similar to that used in textbooks (such as that by Cormen, Leiserson, Rivest, and Stein) on concrete algorithms. ·         In addition to their aesthetic value, the algorithmic ideas developed for these abstract problems might find applications in more practical areas. Graduate students in computer science or in mathematical logic constitute the primary audience. Furthermore, when the author taught a one-semester graduate course based on this material, a number of advanced undergraduates, majoring in computer science or mathematics or both, took the course and flourished in it. Kenneth J. Supowit is an Associate Professor Emeritus, Department of Computer Science \u0026amp; Engineering, Ohio State University, Columbus, Ohio, US.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52934909362455,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031269042.jpg?v=1781615590"},{"product_id":"synthesis-lectures-on-mathematics-statistics-9783031304880","title":"Synthesis Lectures on Mathematics \u0026 Statistics","description":"\u003cp\u003eThis book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. \u0026amp;quote;Safe\u0026amp;quote; - that is, paradox-free - informal set theory is introduced following on the heels of Russell's Paradox as well as the topics of finite, countable, and uncountable sets with an exposition and use of Cantor's diagonalisation technique. Predicate logic \u0026amp;quote;for the user\u0026amp;quote; is introduced along with axioms and rules and extensive examples. Partial orders and the minimal condition are studied in detail with the latter shown to be equivalent to the induction principle. Mathematical induction is illustrated with several examples and is followed by a thorough exposition of inductive definitions of functions and sets. Techniques for solving recurrence relations including generating functions, the O- and o-notations, and trees are provided. Over 200 end of chapter exercises are included to further aid in the understanding and applications of discrete mathematics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52935855964439,"sku":null,"price":5397.75,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031304880.jpg?v=1781618332"}],"url":"https:\/\/payment.letskitaboo.com\/collections\/logic-mathematics.oembed?page=2","provider":"Kitaboo One eStore","version":"1.0","type":"link"}