Proof Theory and Intuitionistic Systems

AvBruno Scarpellini

Häftad, Engelska, 1971

Del 212 i serien Lecture Notes in Mathematics

446 kr

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

Fler format och utgåvor

574 kr

Produktinformation

Utgivningsdatum:1971-01-01
Mått:155 x 235 x 17 mm
Vikt:458 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:292
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540055419

Utforska kategorier

Innehållsförteckning

and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.

Mer från samma författare

Volker Strassen, Bruno Scarpellini, Hans Lauchli, Gerhard Jager - Ernst Specker Selecta, E-bok

Ernst Specker Selecta

Volker Strassen, Bruno Scarpellini, Hans Lauchli, Gerhard Jager

E-bok

2012

1 413 kr

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen - Ernst Specker Selecta, Häftad

Ernst Specker Selecta

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen

Häftad, 2011

1 104 kr

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen - Ernst Specker Selecta, Inbunden

Ernst Specker Selecta

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen

Inbunden, 1990

1 210 kr

Mer från samma serie

Dale Rolfsen - Knot Theory and Manifolds, Häftad

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

281 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

314 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

500 kr

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

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

556 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

391 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

665 kr

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

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

556 kr

Charles Chidume - Geometric Properties of Banach Spaces and Nonlinear Iterations, Häftad

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

556 kr

Sebastian Klein - Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation, Häftad

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

Häftad, 2018

446 kr

Wen-Wei Li - Zeta Integrals, Schwartz Spaces and Local Functional Equations, Häftad

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Wen-Wei Li

Häftad, 2018

501 kr

Du kanske också är intresserad av

Bruno Scarpellini - Proof Theory and Intuitionistic Systems, E-bok

Proof Theory and Intuitionistic Systems

Bruno Scarpellini

E-bok

2006

574 kr

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen - Ernst Specker Selecta, Inbunden

Ernst Specker Selecta

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen

Inbunden, 1990

1 210 kr

Volker Strassen, Bruno Scarpellini, Hans Lauchli, Gerhard Jager - Ernst Specker Selecta, E-bok

Ernst Specker Selecta

Volker Strassen, Bruno Scarpellini, Hans Lauchli, Gerhard Jager

E-bok

2012

1 413 kr

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen - Ernst Specker Selecta, Häftad

Ernst Specker Selecta

Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen

Häftad, 2011

1 104 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Peter Englund - Om att misslyckas, Inbunden

-17%

Om att misslyckas

Peter Englund

Inbunden, 2026

(16)

199 kr239 kr

Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden

Signerad!

SIGNERAD - Om julens wälgång

Klara Peters Bastin

Inbunden, 2026

249 kr

Laleh Pourkarim - Jag såg hur vi var stjärnor, Inbunden

Nyhet

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Mikael Yvesand - Ha en nice dag, Inbunden

-21%

Ha en nice dag

Mikael Yvesand

Inbunden, 2026

189 kr239 kr

Maggie Strömberg, Torbjörn Nilsson - L’amour toujours : Berättelsen om Tidö, Inbunden

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr