{"title":"Oxford Logic Guides","description":"\u003cp\u003eDelve into the world of formal logic with the Oxford Logic Guides series. Perfect for students and researchers alike, these guides offer clear and rigorous introductions to key topics in mathematical and philosophical logic.\u003c\/p\u003e","products":[{"product_id":"computability-and-randomness-book-andr-nies-9780199230761","title":"Computability and Randomness","description":"The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts and methods originating from randomness enrich computability theory.  Covering the basics as well as recent research results, this book provides a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49596068757777,"sku":"GOR013396237","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0199230765.jpg?v=1751037611"},{"product_id":"choice-sequences-book-a-s-troelstra-9780198531630","title":"Choice Sequences","description":null,"brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49620894646545,"sku":"GOR013438446","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/019853163X.jpg?v=1750843368"},{"product_id":"category-theory-book-steve-awodey-9780199237180","title":"Category Theory","description":"Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.   Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!  This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49727811420433,"sku":"NGR9780199237180","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50165265760529,"sku":"GOR006796846","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51000114774289,"sku":"NIN9780199237180","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":52102829408529,"sku":"CIN0199237182G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":52330304012561,"sku":"CIN0199237182VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0199237182.jpg?v=1750940318"},{"product_id":"fragments-of-first-order-logic-book-ian-pratt-hartmann-9780192867964","title":"Fragments of First-Order Logic","description":"A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely satisfiable. This question was answered negatively in 1936 by Church and Turing (for satisfiability) and in 1950 by Trakhtenbrot (for finite satisfiability).In contrast, the satisfiability and finite satisfiability problems are algorithmically solvable for restricted subsets---or, as we say, fragments---of first-order logic, a fact which is today of considerable interest in Computer Science. This book provides an up-to-date survey of the principal axes of research, charting the limits of decision in first-order logic and exploring the trade-off between expressive power and complexity of reasoning.   Divided into three parts, the book considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, if these problems are decidable for some fragment, what is their computational complexity? Part I focusses on fragments defined by restricting the set of available formulas. Topics covered include the Aristotelian syllogistic and its relatives, the two-variable fragment, the guarded fragment, the quantifier-prefix fragments and the fluted fragment. Part II investigates logics with counting quantifiers. Starting with De Morgan's numerical generalization of the Aristotelian syllogistic, we proceed to the two-variable fragment with counting quantifiers and its guarded subfragment, explaining the applications of the latter to the problem of query answering in structured data. Part III concerns logics characterized by semantic constraints, limiting the available interpretations of certain predicates. Taking propositional modal logic and graded modal logic as our cue, we return to the satisfiability problem for two-variable first-order logic and its relatives, but this time with certain distinguished binary predicates constrained to be interpreted as equivalence relations or transitive relations. The work finishes, slightly breaching the bounds of first-order logic proper, with a chapter on logics interpreted over trees.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49750387065105,"sku":"NGR9780192867964","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0192867962.jpg?v=1751323814"},{"product_id":"cantorian-set-theory-and-limitation-of-size-book-michael-hallett-9780198532835","title":"Cantorian Set Theory and Limitation of Size","description":"Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in particular, their ramifications for Zermelo-Frankel set theory.","brand":"WoB","offers":[{"title":"US \/ WELL_READ \/ SBYB","offer_id":50105862062353,"sku":"CIN0198532830A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51456419627281,"sku":"CIN0198532830G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51462960840977,"sku":"GOR007883160","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52424964833553,"sku":"NLS9780198532835","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198532830.jpg?v=1750811980"},{"product_id":"set-theory-book-john-l-bell-9780199609161","title":"Set Theory","description":"This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the third edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It covers recent developments in the field and contains numerous exercises, along with updated and increased coverage of the background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and set theory.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50345702850833,"sku":"CIN0199609160G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51000212586769,"sku":"NIN9780199609161","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52424103330065,"sku":"NLS9780199609161","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0199609160.jpg?v=1750908396"},{"product_id":"consequence-relations-book-alex-citkin-9780192866417","title":"Consequence Relations","description":"The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For the second part of this problem, the concept of the Lindenbaum-Tarski algebra plays a key role, which becomes even more important when the considered consequence relation is placed in the context of decidability. This role is traced in the book for various formal objective languages.   The work also includes helpful exercises to aid the reader's assimilation of the book's material. Intended for advanced undergraduate and graduate students in mathematics and philosophy, this book can be used to teach special courses in logic with an emphasis on algebraic methods, for self-study, and also as a reference work.","brand":"WoB","offers":[{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50346083680529,"sku":"CIN0192866419VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":50999709008145,"sku":"NIN9780192866417","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52110706573585,"sku":"NGR9780192866417","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0192866419.jpg?v=1776940072"},{"product_id":"many-valued-logics-book-grzegorz-malinowski-9780198537878","title":"Many-Valued Logics","description":"The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being \"many-valued\" at their origin, i.e. those obtained through intended introduction of logical values next to truth and falsity. To this aim, the matrix method has been chosen as a prevailing manner of presenting the subject.  The inquiry throws light upon the profound problem of the criteria of many-valuedness and its classical characterizations. Besides, the reader can find information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many valuedness.  The examples of various applications to philosophical logic and some practical domains, as switching theory or Computer Science, helps to see many-valuedness in a wider perspective. Together with a selective bibliography and historical references it makes the work especially useful as a survey and guide in this field of logic.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50346367844625,"sku":"CIN0198537875G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51211574575377,"sku":"NIN9780198537878","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402782306577,"sku":"NLS9780198537878","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198537875.jpg?v=1776939760"},{"product_id":"temporal-logic-volume-1-book-dov-m-gabbay-9780198537694","title":"Temporal Logic: Volume 1","description":"This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.  The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.  Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.","brand":"WoB","offers":[{"title":"US \/ WELL_READ \/ SBYB","offer_id":50346385047825,"sku":"CIN0198537697A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198537697.jpg?v=1751164899"},{"product_id":"geometric-stability-theory-book-anand-pillay-9780198534372","title":"Geometric Stability Theory","description":"This book is an exposition of the central features of one of the most developed and sophisticated parts of modern model theory. Geometric stability theory studies the fine structure of models of stable theories. An ever present theme is the existence and structure of definable groups. Fundamental applications to a classification theory are included in the text. Recent years have seen other surprising applications to, among other things, diophantine geometry. This book will be invaluable to anyone interested in modern model theory, such as working model theorists and graduate students in logic.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50484958363921,"sku":"CIN019853437XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51179320279313,"sku":"NIN9780198534372","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402777882897,"sku":"NLS9780198534372","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/019853437X.jpg?v=1751005248"},{"product_id":"groups-of-finite-morley-rank-book-alexandre-borovik-9780198534457","title":"Groups of Finite Morley Rank","description":"The book is devoted to the theory of groups of finite Morley rank. These groups arise in model theory and generalize the concept of algebraic groups over algebraically closed fields. The book contains almost all the known results in the subject. Trying to attract pure group theorists in the subject and to prepare the graduate student to start the research in the area, the authors adopted an algebraic and self evident point of view rather than a model theoretic one, and developed the theory from scratch. All the necessary model theoretical and group theoretical notions are explained in length. The book is full of exercises and examples and one of its chapters contains a discussion of open problems and a program for further research.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":50696940323089,"sku":"NGR9780198534457","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51181026115857,"sku":"NIN9780198534457","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402602770705,"sku":"NLS9780198534457","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198534450.jpg?v=1751389163"},{"product_id":"introduction-to-logic-and-to-the-methodology-of-deductive-sciences-book-the-late-alfred-tarski-9780195044720","title":"Introduction to Logic and to the Methodology of Deductive Sciences","description":"Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed.  Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50761582084369,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50761583657233,"sku":"CIN019504472XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52123378614545,"sku":"NLS9780195044720","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/019504472X.jpg?v=1750940436"},{"product_id":"recursion-theory-for-metamathematics-book-raymond-m-smullyan-9780195082326","title":"Recursion Theory for Metamathematics","description":"This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50795994054929,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50795996643601,"sku":"CIN019508232XVG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52125707403537,"sku":"NLS9780195082326","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/019508232X.jpg?v=1750843435"},{"product_id":"godel-s-incompleteness-theorems-book-raymond-m-smullyan-9780195046724","title":"Godel's Incompleteness Theorems","description":"An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50800757342481,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50800759439633,"sku":"CIN0195046722G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51552028688657,"sku":"GOR006796860","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52123828158737,"sku":"NLS9780195046724","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0195046722.jpg?v=1751005649"},{"product_id":"modal-logic-book-alexander-chagrov-9780198537793","title":"Modal Logic","description":"For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it is true after executing a program' in computer science. It is an advanced text which starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantical and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics.    A specialist can use the book as a source of references. For the first time results and methods of many directions in propositional modal logic - from completeness and duality to algorithmic problems - are collected and systematically presented in one volume. Unlike other books, modal logic is treated here as a uniform theory rather than a collection of a few particular systems. It is the only book presenting the theory of superintuitionistic logics.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50999979114769,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":50999982162193,"sku":"NIN9780198537793","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402643271953,"sku":"NLS9780198537793","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198537794.jpg?v=1751323737"},{"product_id":"structure-of-models-of-peano-arithmetic-book-roman-kossak-9780198568278","title":"The Structure of Models of Peano Arithmetic","description":"Aimed at graduate students and research logicians and mathematicians, this much-awaited text covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51089261363473,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51089264509201,"sku":"NIN9780198568278","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52484838424849,"sku":"NLS9780198568278","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198568274.jpg?v=1772275206"},{"product_id":"from-sets-and-types-to-topology-and-analysis-book-laura-crosilla-9780198566519","title":"From Sets and Types to Topology and Analysis","description":"This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.  This is the latest volume in the Oxford Logic Guides, which also includes:   41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic 42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning 43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 1 44. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 2 45. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control 46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics 47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51089262543121,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51089266409745,"sku":"NIN9780198566519","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52516175479057,"sku":"NLS9780198566519","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":53075872710929,"sku":"CIN0198566514G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198566514.jpg?v=1751195409"},{"product_id":"set-theory-with-a-universal-set-book-t-e-forster-9780198514770","title":"Set Theory with a Universal Set","description":"Set theory is concerned with the foundation of mathematics. In the original formulations of set theory, there were paradoxes contained in the idea of the \"set of all sets\". Current standard theory (Zermelo-Fraenkel) avoids these paradoxes by restricting the way sets may be formed by other sets, specifically to disallow the possibility of forming the set of all sets. In the 1930s, Quine proposed a different form of set theory in which the set of all sets - the universal set - is allowed, but other restrictions are placed on these axioms. Since then, the steady interest expressed in these non-standard set theories has been boosted by their relevance to computer science.  The second edition still concentrates largely on Quine's New Foundations, reflecting the author's belief that this provides the richest and most mysterious of the various systems dealing with set theories with a universal set. Also included is an expanded and completely revised account of the set theories of Church-Oswald and Mitchell, with descriptions of permutation models and extensions that preserve power sets. Dr Foster here presents the reader with a useful and readable introduction for those interested in this topic, and a reference work for those already involved in this area.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51121049698577,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51121052516625,"sku":"NIN9780198514770","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402677121297,"sku":"NLS9780198514770","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198514778.jpg?v=1750973095"},{"product_id":"cardinal-arithmetic-book-saharon-shelah-9780198537854","title":"Cardinal Arithmetic","description":"Is the continuum hypothesis still open?   If we interpret it as finding the laws of cardinal arithmetic (really exponentiation since addition and multiplication were classically solved), it was thought to be essentially solved by the independence results of Gödel and Cohen (and Easton) with some isolated positive results (like Galvin-Hajnal). It was expected that only more independence results remained to be proved.  The author has come to change his view: we should stress Π]*N0 (not 2]Π) and mainly look at the cofinalities rather than cardinalities, in particular pp (μ), pcf (α). Their properties are investigated here and conventional cardinal arithmetic is reduced to 2]*N (*N - regular, cases totally independent) and various cofinalities. This enables us to get new results for the conventional cardinal arithmetic, thus supporting the interest in our view. We also find other applications, extend older methods of using normal fiters and prove the existence of Jonsson algebra.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51179321983249,"sku":"NIN9780198537854","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402605097233,"sku":"NLS9780198537854","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198537859.jpg?v=1776939881"},{"product_id":"arithmetic-proof-theory-and-computational-complexity-book-peter-clote-9780198536901","title":"Arithmetic, Proof Theory, and Computational Complexity","description":"This book principally concerns the rapidly growing area of what might be termed \"Logical Complexity Theory\", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. Issuing from a two-year NSF and Czech Academy of Sciences grant supporting a month-long workshop and 3-day conference in San Diego (1990) and Prague (1991), the book contains refereed articles concerning the existence of the most general unifier, a special case of Kreisel's conjecture on length-of-proof, propositional logic proof size, a new alternating logtime algorithm for boolean formula evaluation and relation to branching programs, interpretability between fragments of arithmetic, feasible interpretability, provability logic, open induction, Herbrand-type theorems, isomorphism between first and second order bounded arithmetics, forcing techniques in bounded arithmetic, ordinal arithmetic in Λ Δ  o . Also included is an extended abstract of J P Ressayre's new approach concerning the model completeness of the theory of real closed expotential fields. Additional features of the book include (1) the transcription and translation of a recently discovered 1956 letter from K Godel to J von Neumann, asking about a polynomial time algorithm for the proof in k-symbols of predicate calculus formulas (equivalent to the P-NP question), (2) an OPEN PROBLEM LIST consisting of 7 fundamental and 39 technical questions contributed by many researchers, together with a bibliography of relevant references.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51179319787793,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51179321852177,"sku":"NIN9780198536901","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52403090325777,"sku":"NLS9780198536901","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198536909.jpg?v=1751100999"},{"product_id":"change-choice-and-inference-book-hans-rott-9780198503064","title":"Change, Choice and Inference","description":"Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial intelligence. It elaborates on the relevant theories and provides a mathematically precise foundation for the thesis that large parts of theoretical reason can be subsumed under practical reason.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51181029032209,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51181031981329,"sku":"NIN9780198503064","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425726656785,"sku":"NLS9780198503064","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198503067.jpg?v=1750780651"},{"product_id":"fibring-logics-book-dov-m-gabbay-9780198503811","title":"Fibring Logics","description":"Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining-or fibring-systems. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate. Using this methodology the book discusses ways of obtaining a wide variety of multimodal, modal intuitionistic, modal substructural and fuzzy systems in a uniform way. It also covers self-fibred languages which allow formulae to apply to themselves. The book also studies sufficient conditions for transferring properties of the component logics into properties of the combined system.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51181034111249,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51181036470545,"sku":"NIN9780198503811","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52403119390993,"sku":"NLS9780198503811","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198503814.jpg?v=1751356170"},{"product_id":"twenty-five-years-of-constructive-type-theory-book-giovanni-sambin-9780198501275","title":"Twenty Five Years of Constructive Type Theory","description":"Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51211577098513,"sku":"NIN9780198501275","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402579505425,"sku":"NLS9780198501275","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198501277.jpg?v=1751005225"},{"product_id":"reductive-logic-and-proof-search-book-eike-ritter-9780198526339","title":"Reductive Logic and Proof-search","description":"This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic\/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.  Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's  Elements of intuitionism  (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's  Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's  Algebraic Methods in Philosophical Logic, H. Rott's  Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's  Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51288421564689,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51288423498001,"sku":"NIN9780198526339","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52516168499473,"sku":"NLS9780198526339","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0133864189.jpg?v=1762338954"},{"product_id":"interpolation-and-definability-book-dov-m-gabbay-9780198511748","title":"Interpolation and Definability","description":"This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.  Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51298535932177,"sku":"","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51298537603345,"sku":"NIN9780198511748","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52482865594641,"sku":"NLS9780198511748","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198511744.jpg?v=1750876364"},{"product_id":"elementary-categories-elementary-toposes-book-mclarty-9780198514732","title":"Elementary Categories, Elementary Toposes","description":"The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout rather than beginning with set theoretic foundations. It works with key notions such as cartesian closedness, adjunctions, regular categories, and the internal logic of a topos. Full statements and elementary proofs are given for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Three chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51825679270161,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51825679434001,"sku":"CIN0198514735G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52135425540369,"sku":"NLS9780198514732","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198514732.jpg?v=1752679501"},{"product_id":"study-of-logics-book-john-p-cleave-reader-in-mathem-9780198532118","title":"A Study of Logics","description":"It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence.  Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey to the field.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51897699402001,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":51897699434769,"sku":"GOR014452674","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402691146001,"sku":"NLS9780198532118","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198532118.jpg?v=1754986893"},{"product_id":"category-theory-book-steve-awodey-9780199587360","title":"Category Theory","description":"Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.   Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!  This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52088952586513,"sku":"NLS9780199587360","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780199587360.jpg?v=1756904899"},{"product_id":"models-of-peano-arithmetic-book-richard-kaye-9780198532132","title":"Models of Peano Arithmetic","description":"An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52129706246417,"sku":"NLS9780198532132","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198532132.jpg?v=1757497439"},{"product_id":"algebraic-methods-in-philosophical-logic-book-j-michael-dunn-9780198531920","title":"Algebraic Methods in Philosophical Logic","description":"This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathematics, philosophy, computer science and linguistics with an interest in algebraic logic, but is also accessible to those from a non-logistics background. It is suitable for researchers, graduates and advanced undergraduates who have an introductory knowledge of algebraic logic providing more advanced concepts, as well as more theoretical aspects. The main theme is that standard algebraic results (representations) translate into standard logical results (completeness). Other themes involve identification of a class of algebras appropriate for classical and non-classical logic studies, including: gaggles, distributoids, partial- gaggles, and tonoids. An imporatant sub title is that logic is fundamentally information based, with its main elements being propositions, that can be understood as sets of information states. Logics are considered in various senses e.g. systems of theorems, consequence relations and, symmetric consequence relations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52135536034065,"sku":"NLS9780198531920","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198531920.jpg?v=1757549568"},{"product_id":"foundations-without-foundationalism-book-stewart-shapiro-9780198533917","title":"Foundations without Foundationalism","description":"The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed development of higher-order logic, including a comprehensive discussion of its semantics.  Professor Shapiro demonstrates the prevalence of second-order notions in mathematics is practised, and also the extent to which mathematical concepts can be formulated in second-order languages . He shows how first-order languages are insufficient to codify many concepts in contemporary mathematics, and thus that higher-order logic is needed to fully reflect current mathematics.  Throughout, the emphasis is on discussing the philosophical and historical issues associated with this subject, and the implications that they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic as might be gained from a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in this subject.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52135859355921,"sku":"NLS9780198533917","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198533917.jpg?v=1757551302"},{"product_id":"model-theory-book-maria-manzano-9780198538516","title":"Model Theory","description":"Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52150504816913,"sku":"NLS9780198538516","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198538516.jpg?v=1757610324"},{"product_id":"bolzano-s-logical-system-book-ettore-casari-9780198788294","title":"Bolzano's Logical System","description":"This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work.  Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's epsilon calculus (the logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics).","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52332698763537,"sku":"NLS9780198788294","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":52734526357777,"sku":"NIN9780198788294","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198788294.jpg?v=1758152436"},{"product_id":"sketches-of-an-elephant-a-topos-theory-compendium-book-peter-t-johnstone-9780198515982","title":"Sketches of an Elephant: A Topos Theory Compendium","description":"Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52332835275025,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52332835832081,"sku":"NLS9780198515982","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198515982.jpg?v=1758152840"},{"product_id":"sketches-of-an-elephant-a-topos-theory-compendium-book-peter-t-johnstone-9780198534259","title":"Sketches of an Elephant: A Topos Theory Compendium","description":"Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52332878135569,"sku":"NLS9780198534259","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":52988439036177,"sku":"CIN0198534256G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198534259.jpg?v=1758152973"},{"product_id":"labelled-deductive-systems-book-dov-m-gabbay-9780198538332","title":"Labelled Deductive Systems","description":"This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by the notion of structured families of labelled formulas, the labels having algebraic structure. This simple device has far reaching consequences for the methodology of logics and their semantics. The book studies the main features of such systems as well as many applications.  The framework of Labelled Deductive Systems is of interest to a large variety of readers. At one extreme there is the pure mathematical logician who likes exact formal definitions and dry theorems, who probably specializes in one logic and methodology. At the other extreme there is the practical consumer of logic, who likes to absorb the intutions and use labelling as needed to advance the cause of applications.  The book begins with an intuitive presentation of LDS in the context of traditional current views of monotonic and nonmonotonic logics. It is less orientated towards the pure logician and more towards the practical consumer of logic.  The main part of the book presents the formal theory of LDS for the formal logician. The author has tried to avoid the style of definition-lemma-theorem and has put in some explanation.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52402586026257,"sku":"NLS9780198538332","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":53445842469137,"sku":"NIN9780198538332","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198538332.jpg?v=1758758179"},{"product_id":"features-and-fluents-book-erik-sandewall-9780198538455","title":"Features and Fluents","description":"Techniques for reasoning about actions an change in the physical world is one of the classical research topics in artificial intelligence. It is motivated by the needs of autonomous robots which must be able to anticipate their immediate future, to plan their future actions, and to figure out what went wrong in case of problems. It is also motivated by the needs of common-sense reasoning for example in the understanding of natural language texts, where processes and change over time is an ever-present phenomenon. The same set of problems arises in several other areas of computing such as in conceptual modelling for data bases, and in the rapidly growing area of intelligent control.  The present research monograph presents and uses a novel methodology for reasoning about actions and change. Traditional research contributions have proposed new logic variants which were only supported by episodical examples. THe work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. For a number of previously proposed logics, as well as for some new ones, the present work characterizes exactly the class where it does not.  This book will be a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control in the years to come. Particularly because of its emphasis on a strict and systematic methodology, it can also be recommended as a textbook for graduate university courses in these areas.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52402783518993,"sku":"NLS9780198538455","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":52734535893265,"sku":"NIN9780198538455","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198538455.jpg?v=1776940799"},{"product_id":"computability-and-randomness-book-andre-nies-9780199652600","title":"Computability and Randomness","description":"The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts and methods originating from randomness enrich computability theory.  The book covers topics such as lowness and highness properties, Kolmogorov complexity, betting strategies and higher computability. Both the basics and recent research results are desribed, providing a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":52734585864465,"sku":"NIN9780199652600","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780199652600.jpg?v=1763396189"},{"product_id":"positive-topology-book-giovanni-sambin-9780199232888","title":"Positive Topology","description":"Aimed at researchers in mathematics, philosophy and logic, this book provides the first organic exposition of dynamic constructivism and the mathematics ensuing in practice, including discussion of the technical development of the field and outlining the philosophical and methodological motivations underlying the evolution of the discipline.  In dynamic constructivism, mathematics is seen as the result of a dynamic process of interaction between the construction of mathematical entities, by abstraction and by idealization, and their selection according to their efficiency in applications to reality and in the organisation of mathematics itself.  The crucial benefit of this vision is its independence from dogmas and external authorities. A practical consequence is full respect for the diverse areas of mathematics - mainly computation, spatial intuition, deduction, and abstract axiomatic method - without reducing one to another. As a second consequence, a dynamic interaction between different 'epistemological levels' is always active and present, in the development of mathematics in practice, the study of its foundations and its formalisation in a computer language.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52969826222353,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":52969826255121,"sku":"NIN9780199232888","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780199232888.jpg?v=1776940186"}],"url":"https:\/\/www.worldofbooks.com\/fr-fr\/collections\/oxford-logic-guides-series-de-livres.oembed?page=3","provider":"World of Books ","version":"1.0","type":"link"}