Akademibokhandeln

Oxford Logic Guides – serie

Visar alla böcker i serien Oxford Logic Guides. Handla online eller reservera direkt i butik.

  1. Cantorian Set Theory and Limitation of Size

    Cantorian Set Theory and Limitation of Size

    Del 10 · Michael Hallett · 1986

  2. Models of Peano Arithmetic

    Models of Peano Arithmetic

    Del 15 · Richard Kaye · 1991

  3. Relative Category Theory and Geometric Morphisms

    Relative Category Theory and Geometric Morphisms

    Del 16 · Jonathan Chapman, Frederick Rowbottom · 1992

  4. Foundations without Foundationalism

    Foundations without Foundationalism

    Del 17 · Stewart Shapiro · 1991

  5. A Study of Logics

    A Study of Logics

    Del 18 · John P. Cleave · 1991

  6. Gödel's Incompleteness Theorems

    Gödel's Incompleteness Theorems

    Del 19 · Raymond M. Smullyan · 1992

  7. Elementary Categories, Elementary Toposes

    Elementary Categories, Elementary Toposes

    Del 21 · McLarty · 1995

  8. Recursion Theory for Metamathematics

    Recursion Theory for Metamathematics

    Del 22 · Raymond M. Smullyan · 1993

  9. Arithmetic, Proof Theory, and Computational Complexity

    Arithmetic, Proof Theory, and Computational Complexity

    Del 23 · Clote, Krajicek, Peter Clote, Jan Krajícek · 1993

  10. Introduction to Logic and to the Methodology of Deductive Sciences

    Introduction to Logic and to the Methodology of Deductive Sciences

    Del 24 · Alfred Tarski, Jan Tarski · 1994

  11. Many-Valued Logics

    Many-Valued Logics

    Del 25 · Grzegorz Malinowski · 1993

  12. Groups of Finite Morley Rank

    Groups of Finite Morley Rank

    Del 26 · Alexandre Borovik, Ali Nesin · 1994

  13. Diagonalization and Self-Reference

    Diagonalization and Self-Reference

    Del 27 · Raymond M. Smullyan · 1994

  14. Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Del 28 · Dov M. Gabbay, Ian Hodkinson, Mark Reynolds · 1994

  15. Cardinal Arithmetic

    Cardinal Arithmetic

    Del 29 · Saharon Shelah · 1994

  16. Features and Fluents

    Features and Fluents

    Del 30 · Erik Sandewall · 1995

  17. Set Theory with a Universal Set

    Set Theory with a Universal Set

    Del 31 · T. E. Forster · 1995

  18. Geometric Stability Theory

    Geometric Stability Theory

    Del 32 · Anand Pillay · 1996

  19. Labelled Deductive Systems

    Labelled Deductive Systems

    Del 33 · Dov M. Gabbay · 1996

  20. Modal Logic

    Modal Logic

    Del 35 · Alexander Chagrov, Michael Zakharyaschev · 1997

  21. Twenty Five Years of Constructive Type Theory

    Twenty Five Years of Constructive Type Theory

    Del 36 · Giovanni Sambin, Jan M. Smith · 1998

  22. Model Theory

    Model Theory

    Del 37 · Maria Manzano · 1999

  23. Fibring Logics

    Fibring Logics

    Del 38 · Dov M. Gabbay · 1998

  24. Elements of Intuitionism

    Elements of Intuitionism

    Del 39 · Michael Dummett · 2000

  25. Temporal Logic: Volume 2

    Temporal Logic: Volume 2

    Del 40 · Dov M Gabbay, M. Finger, M. Reynolds · 2000

  26. Algebraic Methods in Philosophical Logic

    Algebraic Methods in Philosophical Logic

    Del 41 · J. Michael Dunn, Gary Hardegree · 2001

  27. Change, Choice and Inference

    Change, Choice and Inference

    Del 42 · Hans Rott · 2001

  28. Sketches of an Elephant: A Topos Theory Compendium

    Sketches of an Elephant: A Topos Theory Compendium

    Del 44 · Peter T. Johnstone · 2002

  29. Reductive Logic and Proof-search

    Reductive Logic and Proof-search

    Del 45 · David J. Pym, Eike Ritter · 2004

  30. Interpolation and Definability

    Interpolation and Definability

    Del 46 · Dov M. Gabbay, Larisa Maksimova · 2005

  31. Set Theory

    Set Theory

    Del 47 · John L. Bell · 2011

  32. From Sets and Types to Topology and Analysis

    From Sets and Types to Topology and Analysis

    Del 48 · Laura Crosilla, Peter Schuster · 2005

  33. The Structure of Models of Peano Arithmetic

    The Structure of Models of Peano Arithmetic

    Del 50 · Roman Kossak, James Schmerl · 2006

  34. Computability and Randomness

    Computability and Randomness

    Del 51 · André Nies · 2009

  35. Category Theory

    Category Theory

    Del 52 · Steve Awodey · 2010

  36. Simplicity Theory

    Simplicity Theory

    Del 53 · Byunghan Kim · 2013

  37. Consequence Relations

    Consequence Relations

    Alex Citkin, Alexei Muravitsky · 2022

  38. Fragments of First-Order Logic

    Fragments of First-Order Logic

    Ian Pratt-Hartmann · 2023

  39. Positive Topology

    Positive Topology

    Giovanni Sambin · 2025