• 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

      Applied Proof Theory: Proof Interpretations and their Use in Mathematics

      AvUlrich Kohlenbach

      E-bok
      PDF, Engelska, 2008

      Del i serien Springer Monographs in Mathematics

      1 746 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Fler format och utgåvor

      Inbunden

      1 439 kr

      Häftad

      1 417 kr

      Produktinformation

      • Utgivningsdatum:2008-05-23
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540775331
      • Förlag:Springer Berlin Heidelberg
      • Serie:Springer Monographs in Mathematics

      Utforska kategorier

      • Matematik inom Naturvetenskap och teknik
      • Matematikens grunder inom Naturvetenskap och teknik
      • Beräkning och matematisk analys inom Naturvetenskap och teknik
      Hoppa över listan

      Mer från samma författare

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan - Logic Colloquium 2007, Inbunden
      Del 35

      Logic Colloquium 2007

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan

      Inbunden, 2010

      1 579 kr

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan - Logic Colloquium 2007, Häftad
      Del 35

      Logic Colloquium 2007

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan

      Häftad, 2014

      536 kr

      Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz - Logic, Language, Information, and Computation, Häftad

      Logic, Language, Information, and Computation

      Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz

      Häftad, 2013

      529 kr

      Ruy de Queiroz, Ulrich Kohlenbach, Leonid Libkin - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy de Queiroz, Ulrich Kohlenbach, Leonid Libkin

      E-bok
      2013

      650 kr

      Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz - Logic, Language, Information, and Computation, Häftad

      Logic, Language, Information, and Computation

      Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz

      Häftad, 2014

      552 kr

      Ruy J G B de Queiroz, Pablo Barcelo, Ulrich Kohlenbach - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy J G B de Queiroz, Pablo Barcelo, Ulrich Kohlenbach

      E-bok
      2014

      657 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Ulrich Kohlenbach - Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Häftad

      Applied Proof Theory: Proof Interpretations and their Use in Mathematics

      Ulrich Kohlenbach

      Häftad, 2010

      1 417 kr

      Ulrich Kohlenbach - Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Inbunden

      Applied Proof Theory: Proof Interpretations and their Use in Mathematics

      Ulrich Kohlenbach

      Inbunden, 2008

      1 439 kr

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan - Logic Colloquium 2007, Häftad
      Del 35

      Logic Colloquium 2007

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan

      Häftad, 2014

      536 kr

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan - Logic Colloquium 2007, Inbunden
      Del 35

      Logic Colloquium 2007

      Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan

      Inbunden, 2010

      1 579 kr

      Ruy J G B de Queiroz, Pablo Barcelo, Ulrich Kohlenbach - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy J G B de Queiroz, Pablo Barcelo, Ulrich Kohlenbach

      E-bok
      2014

      657 kr

      Ruy de Queiroz, Ulrich Kohlenbach, Leonid Libkin - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy de Queiroz, Ulrich Kohlenbach, Leonid Libkin

      E-bok
      2013

      650 kr

      Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz - Logic, Language, Information, and Computation, Häftad

      Logic, Language, Information, and Computation

      Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz

      Häftad, 2013

      529 kr

      Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz - Logic, Language, Information, and Computation, Häftad

      Logic, Language, Information, and Computation

      Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz

      Häftad, 2014

      552 kr

      Måns Petter Zelmerlöw - När allt faller, Inbunden
      • -12%

      När allt faller

      Måns Petter Zelmerlöw

      Inbunden, 2026

      229 kr259 kr

      Peter Englund - Om att misslyckas, Inbunden
      • -17%

      Om att misslyckas

      Peter Englund

      Inbunden, 2026

      4,0 utav 5 stjärnor. Totalt antal röster:(9)

      199 kr239 kr