Akademibokhandeln

Perspectives in Logic – serie

Visar alla böcker i serien Perspectives in Logic.

19 produkter

  1. Stephen G. Simpson - Subsystems of Second Order Arithmetic, Häftad. Tillgänglighet: Lägg i varukorg

    Subsystems of Second Order Arithmetic

    Av Stephen G. Simpson

    Häftad, 2010

    1129 kr

    Lägg i varukorg

  2. Helmut Schwichtenberg, Stanley S. Wainer - Proofs and Computations, Inbunden. Tillgänglighet: Lägg i varukorg

    Proofs and Computations

    Av Helmut Schwichtenberg, Stanley S. Wainer

    Inbunden, 2011

    1399 kr

    Lägg i varukorg

  3. Henk Barendregt, Wil Dekkers, Richard Statman - Lambda Calculus with Types, Inbunden. Tillgänglighet: Lägg i varukorg

    Lambda Calculus with Types

    Av Henk Barendregt, Wil Dekkers m. fl.

    Inbunden, 2013

    1819 kr

    Lägg i varukorg

  4. Stephen G. Simpson - Subsystems of Second Order Arithmetic, Inbunden. Tillgänglighet: Lägg i varukorg

    Subsystems of Second Order Arithmetic

    Av Stephen G. Simpson

    Inbunden, 2009

    3279 kr

    Lägg i varukorg

  5. Jeffrey Paris, Alena Vencovská - Pure Inductive Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Pure Inductive Logic

    Av Jeffrey Paris, Alena Vencovská

    Inbunden, 2015

    3009 kr

    Lägg i varukorg

  6. John T. Baldwin - Fundamentals of Stability Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Fundamentals of Stability Theory

    Av John T. Baldwin

    Inbunden, 2017

    3319 kr

    Lägg i varukorg

  7. Manuel Lerman - Degrees of Unsolvability, Inbunden. Tillgänglighet: Lägg i varukorg

    Degrees of Unsolvability

    Local and Global Theory

    Av Manuel Lerman

    Inbunden, 2017

    2579 kr

    Lägg i varukorg

  8. Jens E. Fenstad - General Recursion Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    General Recursion Theory

    An Axiomatic Approach

    Av Jens E. Fenstad

    Inbunden, 2017

    2569 kr

    Lägg i varukorg

  9. Peter G. Hinman - Recursion-Theoretic Hierarchies, Inbunden. Tillgänglighet: Lägg i varukorg

    Recursion-Theoretic Hierarchies

    Av Peter G. Hinman

    Inbunden, 2017

    3319 kr

    Lägg i varukorg

  10. J. Barwise, S. Feferman - Model-Theoretic Logics, Inbunden. Tillgänglighet: Lägg i varukorg

    Model-Theoretic Logics

    Av J. Barwise, S. Feferman

    Inbunden, 2017

    4329 kr

    Lägg i varukorg

  11. Jon Barwise - Admissible Sets and Structures, Inbunden. Tillgänglighet: Lägg i varukorg

    Admissible Sets and Structures

    Av Jon Barwise

    Inbunden, 2017

    3009 kr

    Lägg i varukorg

  12. Keith J. Devlin - Constructibility, Inbunden. Tillgänglighet: Lägg i varukorg

    Constructibility

    Av Keith J. Devlin

    Inbunden, 2017

    3049 kr

    Lägg i varukorg

  13. Saharon Shelah - Proper and Improper Forcing, Inbunden. Tillgänglighet: Lägg i varukorg

    Proper and Improper Forcing

    Av Saharon Shelah

    Inbunden, 2017

    4009 kr

    Lägg i varukorg

  14. Steven Buechler - Essential Stability Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Essential Stability Theory

    Av Steven Buechler

    Inbunden, 2017

    3009 kr

    Lägg i varukorg

  15. Petr Hájek, Pavel Pudlák - Metamathematics of First-Order Arithmetic, Inbunden. Tillgänglighet: Lägg i varukorg

    Metamathematics of First-Order Arithmetic

    Av Petr Hájek, Pavel Pudlák

    Inbunden, 2017

    3389 kr

    Lägg i varukorg

  16. Gerald E. Sacks - Higher Recursion Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Higher Recursion Theory

    Av Gerald E. Sacks

    Inbunden, 2017

    3049 kr

    Lägg i varukorg

  17. Marian B. Pour-El, J. Ian Richards - Computability in Analysis and Physics, Inbunden. Tillgänglighet: Lägg i varukorg

    Computability in Analysis and Physics

    Av Marian B. Pour-El, J. Ian Richards

    Inbunden, 2017

    2579 kr

    Lägg i varukorg

  18. Antonio Montalbán - Computable Structure Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Computable Structure Theory

    Within the Arithmetic

    Av Antonio Montalbán

    Inbunden, 2021

    2559 kr

    Lägg i varukorg

  19. Antonio Montalbán - Computable Structure Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Computable Structure Theory

    Beyond the Arithmetic

    Av Antonio Montalbán

    Inbunden, 2026

    2459 kr

    Lägg i varukorg