Akademibokhandeln

Studies in Logic and the Foundations of Mathematics – serie

Visar alla böcker i serien Studies in Logic and the Foundations of Mathematics.

22 produkter

  1. M. Kracht, Arjen Sevenster - Tools and Techniques in Modal Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Tools and Techniques in Modal Logic

    Av M. Kracht, Arjen Sevenster

    Inbunden, 1999

    2739 kr

    Lägg i varukorg

  2. C.J. Ash, J. Knight - Computable Structures and the Hyperarithmetical Hierarchy, Inbunden. Tillgänglighet: Lägg i varukorg

    Computable Structures and the Hyperarithmetical Hierarchy

    Av C.J. Ash, J. Knight

    Inbunden, 2000

    2449 kr

    Lägg i varukorg

  3. P. Odifreddi - Classical Recursion Theory, Volume II, Inbunden. Tillgänglighet: Lägg i varukorg

    Classical Recursion Theory, Volume II

    Av P. Odifreddi

    Inbunden, 1999

    2209 kr

    Lägg i varukorg

  4. R. Fraisse - Theory of Relations, Inbunden. Tillgänglighet: Lägg i varukorg

    Theory of Relations

    Av R. Fraisse

    Inbunden, 2000

    2499 kr

    Lägg i varukorg

  5. A. Arnold, D. Niwinski - Rudiments of Calculus, Inbunden. Tillgänglighet: Lägg i varukorg

    Rudiments of Calculus

    Av A. Arnold, D. Niwinski

    Inbunden, 2001

    1809 kr

    Lägg i varukorg

  6. A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay - Many-Dimensional Modal Logics: Theory and Applications, Inbunden. Tillgänglighet: Lägg i varukorg

    Many-Dimensional Modal Logics: Theory and Applications

    Av A. Kurucz, F. Wolter m. fl.

    Inbunden, 2003

    3169 kr

    Lägg i varukorg

  7. B. Jacobs - Categorical Logic and Type Theory, Häftad. Tillgänglighet: Lägg i varukorg

    Categorical Logic and Type Theory

    Av B. Jacobs

    Häftad, 2001

    2379 kr

    Lägg i varukorg

  8. Robin Hirsch, Ian Hodkinson - Relation Algebras by Games, Inbunden. Tillgänglighet: Lägg i varukorg

    Relation Algebras by Games

    Av Robin Hirsch, Ian Hodkinson

    Inbunden, 2002

    2919 kr

    Lägg i varukorg

  9. Jaap van Oosten - Realizability, Inbunden. Tillgänglighet: Lägg i varukorg

    Realizability

    An Introduction to its Categorical Side

    Av Jaap van Oosten

    Inbunden, 2008

    2279 kr

    Lägg i varukorg

  10. Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman - Quantification in Nonclassical Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Quantification in Nonclassical Logic

    Av Dov M. Gabbay, Dimitrij Skvortsov m. fl.

    Inbunden, 2009

    2899 kr

    Lägg i varukorg

  11. Roger Duncan Maddux - Relation Algebras, Inbunden. Tillgänglighet: Lägg i varukorg

    Relation Algebras

    Av Roger Duncan Maddux

    Inbunden, 2006

    3599 kr

    Lägg i varukorg

  12. Morten Heine S�rensen, Pawel Urzyczyn - Lectures on the Curry-Howard Isomorphism, Inbunden. Tillgänglighet: Lägg i varukorg

    Lectures on the Curry-Howard Isomorphism

    Av Morten Heine S�rensen, Pawel Urzyczyn

    Inbunden, 2006

    2099 kr

    Lägg i varukorg

  13. Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono - Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Inbunden. Tillgänglighet: Lägg i varukorg

    Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    Av Nikolaos Galatos, Peter Jipsen m. fl.

    Inbunden, 2007

    2739 kr

    Lägg i varukorg

  14. A.S. Troelstra, D. van Dalen - Constructivism in Mathematics, Vol 1, Inbunden. Tillgänglighet: Lägg i varukorg

    Constructivism in Mathematics, Vol 1

    Av A.S. Troelstra, D. van Dalen

    Inbunden, 1988

    939 kr

    Lägg i varukorg

  15. A.S. Troelstra, D. van Dalen - Constructivism in Mathematics, Vol 2, Inbunden. Tillgänglighet: Lägg i varukorg

    Constructivism in Mathematics, Vol 2

    Av A.S. Troelstra, D. van Dalen

    Inbunden, 1988

    1069 kr

    Lägg i varukorg

  16. A. Cantini - Logical Frameworks for Truth and Abstraction, Inbunden. Tillgänglighet: Lägg i varukorg

    Logical Frameworks for Truth and Abstraction

    An Axiomatic Study

    Av A. Cantini

    Inbunden, 1996

    2469 kr

    Lägg i varukorg

  17. K. Kunen - Set Theory An Introduction To Independence Proofs, Inbunden. Tillgänglighet: Lägg i varukorg

    Set Theory An Introduction To Independence Proofs

    Av K. Kunen

    Inbunden, 1983

    839 kr

    Lägg i varukorg

  18. J. van Benthem - Language in Action, Inbunden. Tillgänglighet: Lägg i varukorg

    Language in Action

    Categories, Lambdas and Dynamic Logic

    Av J. van Benthem

    Inbunden, 1991

    1809 kr

    Lägg i varukorg

  19. P. Odifreddi - Classical Recursion Theory, Häftad. Tillgänglighet: Lägg i varukorg

    Classical Recursion Theory

    The Theory of Functions and Sets of Natural Numbers

    Av P. Odifreddi

    Häftad, 1992

    1639 kr

    Lägg i varukorg

  20. V.V. Rybakov - Admissibility of Logical Inference Rules, Inbunden. Tillgänglighet: Lägg i varukorg

    Admissibility of Logical Inference Rules

    Av V.V. Rybakov

    Inbunden, 1997

    2639 kr

    Lägg i varukorg

  21. Samuel R. Buss, S. R. Buss, S.R. Buss - Handbook of Proof Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Proof Theory

    Av Samuel R. Buss, S. R. Buss m. fl.

    Inbunden, 1998

    2259 kr

    Lägg i varukorg

  22. E. R. Griffot, Edward R. Griffor, E.R. Griffor - Handbook of Computability Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Computability Theory

    Av E. R. Griffot, Edward R. Griffor m. fl.

    Inbunden, 1999

    3239 kr

    Lägg i varukorg