Wheelers Books
Refine By
Publication Date
Fiction / Non-Fiction
    Age
      Format
        Extended Format
        Show Large Print:
        Category
          Publication Country
            Latest Additions
            Language
              Price
              -

              Books in the Oxford Logic Guides series

              Stock Availability: Sort by: View:

              Total 41 jump to: go ‹ previous12345next ›
              Category Theory
               

              Category Theory (Trade Paperback / Paperback, 2nd Revised edition)

              By Awodey, Steve

              • RRP: $112.99
              • $112.99
              • To Order

              A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), ...as well as numerous examples and exercises.
              Read more

              ISBN 9780199237180
              Released NZ 20 Jun 2010
              Publisher Oxford University Press (S2)
              Interest Age 19+ years
              Series Oxford Logic Guides
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1
               

              Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1 (Hardback, illustrated edition)

              By Sandewall, Erik

              • RRP: $234.50
              • $234.50
              • To Order

              This research text presents and uses a novel methodology for reasoning about actions and change. It uses a systematic methodology for identifying the exact range of applicability of a given logic. This book is a source of reference for researchers in knowledge representation, cog...nitive robotics, and intelligent control in the future.
              Read more

              ISBN 9780198538455
              Released NZ 5 Jan 1995
              Publisher Oxford University Press (S1)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Labelled Deductive Systems: Volume 1
               

              Labelled Deductive Systems: Volume 1 (Hardback)

              By Gabbay, Dov M.

              • RRP: $253.99
              • $253.99
              • To Order

              This work introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

              ISBN 9780198538332
              Released NZ 5 Sep 1996
              Publisher Oxford University Press (S1)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Set Theory: Boolean-Valued Models and Independence Proofs
               

              Set Theory: Boolean-Valued Models and Independence Proofs (Hardback, 3rd edition)

              By Bell, John L.

              • RRP: $226.00
              • $226.00
              • Back Order Indent title

              Provides an exposition of some of the important results in set theory obtained in the 20th century - the independence of the continuum hypothesis and the axiom of choice. This book is aimed at research students and academics in mathematics, mathematical logic, philosophy, and com...puter science.
              Read more

              ISBN 9780198568520
              Released NZ 1 Jun 2005
              Publisher Oxford University Press
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Relative Category Theory and Geometric Morphisms: A Logical Approach
               

              Relative Category Theory and Geometric Morphisms: A Logical Approach (Hardback)

              By Chapman, Jonathan; Rowbottom, Frederick

              • RRP: $88.99
              • $72.97
              • Save $16.02
              • Back Order Indent title

              Topos theory provides an important setting and language for much of mathematical logic and set theory. This book presents a convenient and natural solution to the treatment of geometric morphisms in this setting and shows how this may be applied to topics such as the relative Gir...aud theorem.
              Read more

              ISBN 9780198534341
              Released NZ 6 Feb 1992
              Publisher Oxford University Press (S1)
              Interest Age 19+ years
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Models of Peano Arithmetic
               

              Models of Peano Arithmetic (Hardback)

              By Kaye, Richard

              • RRP: $328.99
              • $269.77
              • Save $59.22
              • Back Order Indent title

              Introduction to non-standard models of arithmetic - which have come to play an important role in model theory since their introduction in the 1930s - stressing the interplay between the first-order theory, recursion-theoretic aspects, and the structural properties of these models....
              Read more

              ISBN 9780198532132
              Released NZ 31 Jan 1991
              Publisher Oxford University Press (S1)
              Interest Age 19+ years
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Computability and Randomness
               

              Computability and Randomness (Hardback)

              By Nies, Andre

              • RRP: $237.99
              • $237.99
              • Back Order Indent title

              A monograph on the interface of computational complexity and randomness of sets of natural numbers.

              ISBN 9780199230761
              Released NZ 10 Dec 2008
              Publisher Oxford University Press (S3)
              Interest Age 19+ years
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Simplicity Theory
               

              Simplicity Theory (Hardback)

              By Kim, Byunghan

              • RRP: $188.99
              • $188.99
              • Back Order Indent title

              An up-to-date account of the current techniques and results in Simplicity Theory, which has been a focus of research in model theory for the last decade. Suitable for logicians, mathematicians and graduate students working on model theory.

              ISBN 9780198567387
              Released NZ 21 Nov 2013
              Publisher Oxford University Press (S3)
              Interest Age 19+ years
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Elements of Intuitionism
               

              Elements of Intuitionism (Hardback, 2nd Revised edition)

              By Dummett, Michael

              • RRP: $464.99
              • $464.99
              • Back Order Indent title

              This is a new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader through the basic mathematical and philosophical concepts. Topics like the Bar Theorem, valuation systems and first-order logic hav...e been revised.
              Read more

              ISBN 9780198505242
              Released NZ 1 Feb 2000
              Publisher Oxford University Press (S3)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Foundations without Foundationalism: A Case for Second-Order Logic
               

              Foundations without Foundationalism: A Case for Second-Order Logic (Hardback)

              By Shapiro, Stewart

              • RRP: $354.99
              • $354.99
              • Back Order Indent title

              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 it...s semantics.
              Read more

              ISBN 9780198533917
              Released NZ 19 Sep 1991
              Publisher Oxford University Press (S1)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
              View details for this title
              Total 41 jump to: go ‹ previous12345next ›

              Index by Series Name