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 ›
              Many-Valued Logics
               

              Many-Valued Logics (Hardback)

              By Malinowski, Grzegorz

              • RRP: $213.99
              • $213.99
              • To Order

              'Many-valued Logics' attempts an elementary exposition of the topics connected with logical many-valueness. It provides readers with a stimulating discussion which focuses on the constructions being many-valued at their origin, i.e. those obtained through intended introduction of... logical values next to truth and falsity.
              Read more

              ISBN 9780198537878
              Released NZ 16 Dec 1993
              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
              Cardinal Arithmetic
               

              Cardinal Arithmetic (Hardback)

              By Shelah, Saharon

              • RRP: $427.99
              • $427.99
              • To Order

              Setting a new direction in research in the subject, this book presents a new view of cardinal arithmetic, one of the central issues in set theory. Focusing on cofinalities rather than cardinalities, new results are obtained and published here for the first time.

              ISBN 9780198537854
              Released NZ 17 Nov 1994
              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
              Cantorian Set Theory and Limitation of Size
               

              Cantorian Set Theory and Limitation of Size (Paperback, New edition)

              By Hallett, Michael

              • RRP: $324.99
              • $324.99
              • To Order

              This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics. -The American Mathematical Monthly

              ISBN 9780198532835
              Released NZ 27 Nov 1986
              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
              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: $213.99
              • $213.99
              • 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
              A Study of Logics
               

              A Study of Logics (Hardback)

              By Cleave, John P. (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol)

              • RRP: $398.99
              • $398.99
              • To Order

              A great variety of logical systems arise in mathematical logic and computer science. This is a new systematic study of the principles behind such logics. The technical work is illuminated by information about its historical and philosophical context.

              ISBN 9780198532118
              Released NZ 19 Dec 1991
              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: $229.99
              • $229.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
              Arithmetic, Proof Theory, and Computational Complexity
               

              Arithmetic, Proof Theory, and Computational Complexity (Hardback)

              Edited by Clote, Peter; Krajicek, Jan

              • RRP: $368.99
              • $368.99
              • To Order

              This book principally concerns the area of Logical Complexity Theory , the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questio...ns together with a bibliography of references.
              Read more

              ISBN 9780198536901
              Released NZ 6 May 1993
              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 with a Universal Set: Exploring an Untyped Universe
                

              Set Theory with a Universal Set: Exploring an Untyped Universe (Hardback, 2nd Revised edition)

              By Forster, T. E.

              • RRP: $117.99
              • $117.99
              • To Order

              This updated edition offers the reader an introduction to the field, which focuses on Quine's original work. It includes a revised account of the set theories of Church-Oswald and Mitchell, with permutation models and extensions that preserve power sets.

              ISBN 9780198514770
              Released NZ 24 Aug 1995
              Publisher Oxford University Press (S1)
              Interest Age 14+ years
              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
              Models of Peano Arithmetic
               

              Models of Peano Arithmetic (Hardback)

              By Kaye, Richard

              • RRP: $328.99
              • $263.19
              • Save $65.80
              • 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
              Total 42 jump to: go ‹ previous12345next ›

              Index by Series Name