Free worldwide delivery with every order
Welcome back (Sign out)
Get 5% off with code 5APR19 when buying 2 or more items

Oxford Logic Guides

6 items
Sort & refine results
  • Category Theory by Steve Awodey
    Category Theory (English, Paperback)

    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.

    $52.47 $62.00
    More details
    Ready To Go
  • Goedel's Incompleteness Theorems by Raymond M. Smullyan
    Goedel's Incompleteness Theorems (English, Hardback)

    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.

    $255.36
    More details
    Ready To Go
  • Recursion Theory for Metamathematics by Raymond M. Smullyan
    Recursion Theory for Metamathematics (English, Hardback)

    In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).

    $194.25
    More details
  • The Basic Picture by Giovanni Sambin
    The Basic Picture (English, Hardback)

    Constructive topology is an important new branch of constructive mathematics and logic and this monograph is the first account of constructive topology in book form. Aimed at researchers in mathematics, philosophy, and logic, the author provides discussion of the technical development of the field and also outlines the philosophical and methodological motivations underlying the evolution of the...

    Currently Unavailable More details
  • Sketches of an Elephant: A Topos Theory Compendium by Peter T. Johnstone
    Sketches of an Elephant: A Topos Theory Compendium (English, Hardback)

    Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium presents a comprehensive account of all the main approaches.

    Currently Unavailable More details
  • Sketches of an Elephant: A Topos Theory Compendium by Peter T. Johnstone
    Sketches of an Elephant: A Topos Theory Compendium (English, Hardback)

    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. This compendium aims to present a comprehensive account of the main approaches and demonstrate the overall unity of the subject.

    Currently Unavailable More details