- 5 Ergebnisse
Kleinster Preis: € 25,51, größter Preis: € 74,89, Mittelwert: € 56,31
1
Proof Theory: The First Step into Impredicativity (Universitext) - Pohlers, Wolfram
Bestellen
bei Amazon.de (Intern. Bücher)
€ 74,31
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Pohlers, Wolfram:

Proof Theory: The First Step into Impredicativity (Universitext) - Erstausgabe

2010, ISBN: 9783540693185

Taschenbuch

Springer Berlin Heidelberg, Taschenbuch, Auflage: 1st ed. 1989. 2nd printing 2008, 388 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, black & white illu… Mehr…

Gebraucht, wie neu. Versandkosten:Gewöhnlich versandfertig in 2 bis 3 Tagen. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) Paper Cavalier Deutschland
zuklappen (X)
2
Proof Theory: The First Step into Impredicativity (Universitext) - Pohlers, Wolfram
Bestellen
bei Amazon.de (Intern. Bücher)
€ 72,83
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Pohlers, Wolfram:

Proof Theory: The First Step into Impredicativity (Universitext) - Erstausgabe

2010, ISBN: 9783540693185

Taschenbuch

Springer Berlin Heidelberg, Taschenbuch, Auflage: 1st ed. 1989. 2nd printing 2008, 388 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, black & white illu… Mehr…

Versandkosten:Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00)
zuklappen (X)
3
Proof Theory: The First Step into Impredicativity (Universitext) - Pohlers, Wolfram
Bestellen
bei Amazon.de (Intern. Bücher)
€ 74,89
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Pohlers, Wolfram:
Proof Theory: The First Step into Impredicativity (Universitext) - Erstausgabe

2010

ISBN: 9783540693185

Taschenbuch

Springer Berlin Heidelberg, Taschenbuch, Auflage: 1st ed. 1989. 2nd printing 2008, 388 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, black & white illu… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
4
Bestellen
bei ZVAB.com
€ 34,00
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Pohlers, Wolfram:
Proof Theory The First Step into Impredicativity - Taschenbuch

2009, ISBN: 3540693181

[EAN: 9783540693185], Gebraucht, sehr guter Zustand, [SC: 0.0], [PU: Berlin & Heidelberg : Springer], XIII, 370 Pages Aus der Reihe : Universitext - Innen sauberer, guter Zustand. Softcov… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) avelibro OHG, Dinkelscherben, Germany [72099711] [Rating: 5 (von 5)]
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 27,09
(ca. € 25,51)
Versand: € 15,801
Bestellen
Details beim Anbieter
gesponserter Link
Add Pohlers, Wolfram:
Proof Theory: The First Step into Impredicativity (Universitext) - gebrauchtes Buch

ISBN: 9783540693185

UsedGood. All pages and cover are intact - The book may have some cosmetic wear (i.e. creased spine/cover, scratches, curled corners, folded pages, minor sunburn) - The book has very few… Mehr…

Versandkosten: EUR 15.80 Read and Dream LLC
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Proof Theory: The First Step into Impredicativity (Universitext)
Autor:
Titel:
ISBN-Nummer:

9783540693185


This book verifies with compelling evidence the author's inclination to "write a book on proof theory which needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof as far as possible, the book starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory, especially the theory of inductive definitions. As a "warm up" the classical analysis of Gentzen is presented in a more modern terminology to proceed with explaining and proving the famous result by Feferman and Schütte on the limits of predicativity. The author, too, provides an introduction to ordinal arithmetic, introduces the Veblen hierarchy and employs these functions to design an ordinal notation system for the ordinals below Epsilon 0 and Gamma 0, while emphasizing the first step into impredicativity, i.e., the first step beyond Gamma 0. An earlier version of this book was originally published in 1989 as volume 1407 of the Springer series "Lecture Notes in Mathematics".

Detailangaben zum Buch - Proof Theory: The First Step into Impredicativity (Universitext)


EAN (ISBN-13): 9783540693185
ISBN (ISBN-10): 3540693181
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
374 Seiten
Gewicht: 0,594 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-09-11T10:22:22+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-22T14:42:00+02:00 (Berlin)
ISBN/EAN: 9783540693185

ISBN - alternative Schreibweisen:
3-540-69318-1, 978-3-540-69318-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: pohler, wolfram, step, pohlers, pohle, beckmann, buchholz
Titel des Buches: the proof, proof theory introduction, proof theory step

Daten vom Verlag:

Autor/in: Wolfram Pohlers
Titel: Universitext; Proof Theory - The First Step into Impredicativity
Verlag: Springer; Springer Berlin
374 Seiten
Erscheinungsjahr: 2008-10-13
Berlin; Heidelberg; DE
Sprache: Englisch
76,99 € (DE)

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Mathematik; Arithmetic; Derivation; Finite; Proof theory; calculus; function; impredicativity; ordinal; ordinal analysis; proof; recursion; set theory; sub-systems of second order number theory and set theory; theorem; well-ordering principle; Mathematical Logic and Foundations; Operations Research, Management Science; Mathematische Grundlagen; Unternehmensforschung; EA

Historical Background.- Primitive Recursive Functions and Relations.- Ordinals.- Pure Logic.- Truth Complexity for ?11-Sentences.- Inductive Definitions.- The Ordinal Analysis for PA.- Autonomous Ordinals and the Limits of Predicativity.- Ordinal Analysis of the Theory for Inductive Definitions.- Provably Recursive Functions of NT.- Ordinal Analysis for Kripke–Platek Set Theory with Infinity.- Predicativity Revisited.- Nonmonotone Inductive Definitions.- Epilogue.
< zum Archiv...