My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in the UK
Trustpilot
Proud to be B-Corp

Oxford Logic Guides Books

Category Theory By Steve Awodey (Carnegie Mellon University, USA)
Category Theoryby Steve Awodey (Carnegie Mellon University, USA)
New
£53.09
Recursion Theory for Metamathematics By Raymond M. Smullyan (Professor of Philosophy, Professor of Philosophy, Indiana University)
Recursion Theory for Metamathematicsby Raymond M. Smullyan (Professor of Philosophy, Professor of Philosophy, Indiana University)
New
£164.69
Elementary Categories, Elementary Toposes By Colin McLarty (Professor, Department of Philosophy, Professor, Department of Philosophy, Case Western Reserve University, Cleveland, Ohio)
Elementary Categories, Elementary Toposesby Colin McLarty (Professor, Department of Philosophy, Professor, Department of Philosophy, Case Western Reserve University, Cleveland, Ohio)
New
£99.59
Computability and Randomness By Andre Nies (Senior Lecturer, Department of Computer Science, The University of Aukland)
Computability and Randomnessby Andre Nies (Senior Lecturer, Department of Computer Science, The University of Aukland)
Very Good
£100.00
Algebraic Methods in Philosophical Logic By J. Michael Dunn (Ewing Professor of Philosophy, Professor of Computer Science, Dean of the School of Informatics, Ewing Professor of Philosophy, Professor of Computer Science, Dean of the School of Informatics, Indiana University)
Algebraic Methods in Philosophical Logicby J. Michael Dunn (Ewing Professor of Philosophy, Professor of Computer Science, Dean of the School of Informatics, Ewing Professor of Philosophy, Professor of Computer Science, Dean of the School of Informatics, Indiana University)
New
£181.39
Set Theory By John L. Bell (Professor of Philosophy, University of Western Ontario)
Set Theoryby John L. Bell (Professor of Philosophy, University of Western Ontario)
New
£32.09
Choice Sequences By A. S. Troelstra
Choice Sequencesby A. S. Troelstra
Good
£18.00
The Structure of Models of Peano Arithmetic By Roman Kossak (City University of New York)
The Structure of Models of Peano Arithmeticby Roman Kossak (City University of New York)
New
£133.39
Many-Valued Logics By Grzegorz Malinowski (Head of Department of Logic, Head of Department of Logic, University of Lodz)
Many-Valued Logicsby Grzegorz Malinowski (Head of Department of Logic, Head of Department of Logic, University of Lodz)
New
£117.09
Set Theory with a Universal Set By T. E. Forster (Department of Pure Mathematics and Mathematical Statistics, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge)
Set Theory with a Universal Setby T. E. Forster (Department of Pure Mathematics and Mathematical Statistics, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge)
New
£65.79
From Sets and Types to Topology and Analysis By Laura Crosilla (Universite di Firenze)
From Sets and Types to Topology and Analysisby Laura Crosilla (Universite di Firenze)
New
£203.29
Reductive Logic and Proof-search By David J. Pym (Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)
Reductive Logic and Proof-searchby David J. Pym (Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)
New
£164.69
Cardinal Arithmetic By Saharon Shelah (Professor, Department of Mathematics, Rutgers University Institute of Mathematics, Professor, Department of Mathematics, Rutgers University Institute of Mathematics, The Hebrew University of Jerusalem)
Cardinal Arithmeticby Saharon Shelah (Professor, Department of Mathematics, Rutgers University Institute of Mathematics, Professor, Department of Mathematics, Rutgers University Institute of Mathematics, The Hebrew University of Jerusalem)
New
£234.59
Introduction to Logic and to the Methodology of Deductive Sciences By The late Alfred Tarski
Introduction to Logic and to the Methodology of Deductive Sciencesby The late Alfred Tarski
New
£124.69
Twenty Five Years of Constructive Type Theory By Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)
Twenty Five Years of Constructive Type Theoryby Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)
New
£92.09
Fibring Logics By Dov M. Gabbay (Professor of Computer Science, Professor of Computer Science, King's College, London)
Fibring Logicsby Dov M. Gabbay (Professor of Computer Science, Professor of Computer Science, King's College, London)
New
£115.59
Change, Choice and Inference By Hans Rott (Professor of Philosophy, University of Regensburg, Germany)
Change, Choice and Inferenceby Hans Rott (Professor of Philosophy, University of Regensburg, Germany)
New
£181.39
Modal Logic By Alexander Chagrov (Professor of Mathematics, Professor of Mathematics, Tver State University)
Modal Logicby Alexander Chagrov (Professor of Mathematics, Professor of Mathematics, Tver State University)
New
£240.89
Groups of Finite Morley Rank By Alexandre Borovik (Lecturer in Mathematics, Lecturer in Mathematics, University of Manchester Institute of Science and Technology)
Groups of Finite Morley Rankby Alexandre Borovik (Lecturer in Mathematics, Lecturer in Mathematics, University of Manchester Institute of Science and Technology)
New
£187.59
Cantorian Set Theory and Limitation of Size By Michael Hallett
Cantorian Set Theory and Limitation of Sizeby Michael Hallett
New
£144.29
Labelled Deductive Systems By Dov M. Gabbay (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)
Labelled Deductive Systemsby Dov M. Gabbay (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)
New
£126.89
A Study of Logics By John P. Cleave (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol)
A Study of Logicsby John P. Cleave (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol)
New
£215.79
Geometric Stability Theory By Anand Pillay (, University of Illinois, USA)
Geometric Stability Theoryby Anand Pillay (, University of Illinois, USA)
New
£126.89
Model Theory By Maria Manzano (Profesora Titular de Logica, Profesora Titular de Logica, Universidad de Salamanca)
Model Theoryby Maria Manzano (Profesora Titular de Logica, Profesora Titular de Logica, Universidad de Salamanca)
New
£180.39
Features and Fluents By Erik Sandewall (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoeping University)
Features and Fluentsby Erik Sandewall (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoeping University)
New
£118.09
Interpolation and Definability By Dov M. Gabbay (Department of Computer Science, King's College London)
Interpolation and Definabilityby Dov M. Gabbay (Department of Computer Science, King's College London)
New
£209.59
Arithmetic, Proof Theory, and Computational Complexity By Peter Clote (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill)
Arithmetic, Proof Theory, and Computational Complexityby Peter Clote (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill)
New
£184.49