• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

      AvW. Buchholz,S. Feferman

      Häftad, Engelska, 1981

      Del 897 i serien Lecture Notes in Mathematics

      394 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Produktinformation

      • Utgivningsdatum:1981-12-01
      • Mått:155 x 235 x 22 mm
      • Vikt:593 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Mathematics
      • Antal sidor:384
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540111702

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik

      Innehållsförteckning

      • Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.
      Hoppa över listan

      Mer från samma författare

      W. Sieg, W. Pohlers, S. Feferman, W. Buchholz - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, E-bok

      Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

      W. Sieg, W. Pohlers, S. Feferman, W. Buchholz

      E-bok
      2006

      431 kr

      Hoppa över listan

      Mer från samma serie

      Dale Rolfsen - Knot Theory and Manifolds, Häftad
      Del 1144

      Knot Theory and Manifolds

      Dale Rolfsen

      Häftad, 1985

      283 kr

      H. Popp - Moduli Theory and Classification Theory of Algebraic Varieties, Häftad
      Del 620

      Moduli Theory and Classification Theory of Algebraic Varieties

      H. Popp

      Häftad, 1977

      317 kr

      Alexander Vasil'ev - Moduli of Families of Curves for Conformal and Quasiconformal Mappings, Häftad
      Del 1788

      Moduli of Families of Curves for Conformal and Quasiconformal Mappings

      Alexander Vasil'ev

      Häftad, 2002

      504 kr

      Joseph Bernstein, Valery Lunts - Equivariant Sheaves and Functors, Häftad
      Del 1578

      Equivariant Sheaves and Functors

      Joseph Bernstein, Valery Lunts

      Häftad, 1994

      339 kr

      Jin Ma, Jiongmin Yong - Forward-Backward Stochastic Differential Equations and their Applications, Häftad

      Forward-Backward Stochastic Differential Equations and their Applications

      Jin Ma, Jiongmin Yong

      Häftad, 1999

      671 kr

      Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza - Ricci Flow and Geometric Applications, Häftad
      Del 2166

      Ricci Flow and Geometric Applications

      Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza

      Häftad, 2016

      394 kr

      Stephen Simons - From Hahn-Banach to Monotonicity, Häftad

      From Hahn-Banach to Monotonicity

      Stephen Simons

      Häftad, 2008

      560 kr

      Alla Detinko, Dane Flannery, Eamonn O'Brien - Probabilistic Group Theory, Combinatorics, and Computing, Häftad
      Del 2070

      Probabilistic Group Theory, Combinatorics, and Computing

      Alla Detinko, Dane Flannery, Eamonn O'Brien

      Häftad, 2013

      394 kr

      Gene Abrams, Pere Ara, Mercedes Siles Molina - Leavitt Path Algebras, Häftad
      Del 2191

      Leavitt Path Algebras

      Gene Abrams, Pere Ara, Mercedes Siles Molina

      Häftad, 2017

      671 kr

      A. Dold, B. Eckmann - Index and Other Useful Information, Häftad

      Index and Other Useful Information

      A. Dold, B. Eckmann

      Häftad, 2013

      560 kr

      Hoppa över listan

      Du kanske också är intresserad av

      W. Sieg, W. Pohlers, S. Feferman, W. Buchholz - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, E-bok

      Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

      W. Sieg, W. Pohlers, S. Feferman, W. Buchholz

      E-bok
      2006

      431 kr

      Santanu Saha Ray, H. Jafari, T. Raja Sekhar, Suchandan Kayal - Applied Analysis, Computation and Mathematical Modelling in Engineering, Inbunden
      Del 897

      Applied Analysis, Computation and Mathematical Modelling in Engineering

      Santanu Saha Ray, H. Jafari, T. Raja Sekhar, Suchandan Kayal

      Inbunden, 2022

      1 888 kr

      Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort - Kurt Gödel: Collected Works, Häftad

      Kurt Gödel: Collected Works

      Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

      Häftad, 2001

      1 293 kr

      Gianfranco Donelli - Advances in Microbiology, Infectious Diseases and Public Health, Inbunden
      Del 897

      Advances in Microbiology, Infectious Diseases and Public Health

      Gianfranco Donelli

      Inbunden, 2016

      1 147 kr

      Hamid Kasiri - Mit Den Augen Des Anderen, Häftad
      Del 897

      Mit Den Augen Des Anderen

      Hamid Kasiri

      Häftad, 2010

      537 kr

      Santanu Saha Ray, H. Jafari, T. Raja Sekhar, Suchandan Kayal - Applied Analysis, Computation and Mathematical Modelling in Engineering, Häftad
      Del 897

      Applied Analysis, Computation and Mathematical Modelling in Engineering

      Santanu Saha Ray, H. Jafari, T. Raja Sekhar, Suchandan Kayal

      Häftad, 2023

      1 888 kr

      Herbert Pfister, Markus King - Inertia and Gravitation, Häftad
      Del 897

      Inertia and Gravitation

      Herbert Pfister, Markus King

      Häftad, 2015

      505 kr

      Jerzy Mikulski - Management Perspective for Transport Telematics, Häftad
      Del 897

      Management Perspective for Transport Telematics

      Jerzy Mikulski

      Häftad, 2018

      577 kr

      Renate Fliedner - Erwachsenen-Kind-Interaktionen in Familien Und Kindergaerten, Häftad
      Del 897

      Erwachsenen-Kind-Interaktionen in Familien Und Kindergaerten

      Renate Fliedner

      Häftad, 2004

      652 kr

      Walther Wegener - Zusammenhang zwischen dem Raumklima und der elektrostatischen Aufladung des Spinnmaterials, Häftad
      Del 897

      Zusammenhang zwischen dem Raumklima und der elektrostatischen Aufladung des Spinnmaterials

      Walther Wegener

      Häftad, 1960

      576 kr