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 42 jump to: go ‹ previous12345next ›
              Temporal Logic: Volume 1
               

              Temporal Logic: Volume 1 (Hardback, illustrated edition)

              By Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark; etc.

              • RRP: $595.99
              • $476.79
              • Save $119.20
              • Back Order Indent title

              A useful reference for both the pure logician and the theoretical computer scientist, 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.

              ISBN 9780198537694
              Released NZ 21 Jul 1994
              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
              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
              Category Theory
               

              Category Theory (Hardback, 2nd Revised edition)

              By Awodey, Steve

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

              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 9780199587360
              Released NZ 17 Jun 2010
              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
              Consequence Relations: An Introduction to the Lindenbaum-Tarski Method
                

              Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Hardback)

              By Citkin; Muravitsky

              • RRP: $160.99
              • $132.01
              • Save $28.98
              • Pub Date
                21 Oct 22

              An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical lo...gic.
              Read more

              ISBN 9780192866417
              Released NZ 21 Oct 2022
              Publisher Oxford University Press (S1)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Available for pre-order, ships once released
              View details for this title
              Twenty Five Years of Constructive Type Theory
               

              Twenty Five Years of Constructive Type Theory (Hardback)

              By Sambin, Giovanni; Smith, Jan M.

              • RRP: $164.99
              • $164.99
              • To Order

              Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

              ISBN 9780198501275
              Released NZ 17 Aug 1998
              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
              Change, Choice and Inference: A study of Belief Revision and Nonmonotonic Reasoning
               

              Change, Choice and Inference: A study of Belief Revision and Nonmonotonic Reasoning (Hardback)

              By Rott, Hans

              • RRP: $330.99
              • $330.99
              • To Order

              'Change, Choice and Inference' unifies lively and significant strands of research in logic, philosophy, economics and artificial intelligence.

              ISBN 9780198503064
              Released NZ 1 Dec 2001
              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
              Elementary Categories, Elementary Toposes
               

              Elementary Categories, Elementary Toposes (Paperback, New edition)

              By McLarty, Colin

              • RRP: $221.99
              • $221.99
              • To Order

              The text introduces categories and elementary toposes while requiring little mathematical background. It defines the key concepts and gives complete elementary proofs of theorems, including the fundamental theorem of toposes and the sheafification theorem.

              ISBN 9780198514732
              Released NZ 27 Apr 1995
              Publisher Oxford University Press (S3)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Interpolation and Definability: Modal and Intuitionistic Logics
               

              Interpolation and Definability: Modal and Intuitionistic Logics (Hardback)

              By Gabbay, Dov M.; Maksimova, Larisa

              • RRP: $383.99
              • $383.99
              • To Order

              Features a 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 la...nguage.
              Read more

              ISBN 9780198511748
              Released NZ 1 Aug 2005
              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
              Fibring Logics
               

              Fibring Logics (Hardback)

              By Gabbay, Dov M.

              • RRP: $229.99
              • $229.99
              • To Order

              Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. This book offers a basic methodology for combining - or fibring - systems so existing complex systems can be bro...ken down into simpler components, making them easier to manipulate.
              Read more

              ISBN 9780198503811
              Released NZ 1 Oct 1998
              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
              Introduction to Logic and to the Methodology of Deductive Sciences
               

              Introduction to Logic and to the Methodology of Deductive Sciences (Hardback, 4th Revised edition)

              By Tarski, The late Alfred; Revised by Tarski, Jan

              • RRP: $442.99
              • $442.99
              • To Order

              The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the appl...ications of logic in theory building.
              Read more

              ISBN 9780195044720
              Released NZ 6 Jan 1994
              Publisher Oxford University Press (S3)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Total 42 jump to: go ‹ previous12345next ›

              Index by Series Name