LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 GLS-Kurier 4.99 DPD-Kurier 4.49 DPD-Stelle 3.49

Proof Theory

The First Stepinto Impredicativity

Sprache EnglischEnglisch
Buch Broschur
Buch Proof Theory Wolfram Pohlers
Libristo-Code: 01567887
Verlag Springer, Berlin, Oktober 2008
This book verifies with compelling evidence the author s inclination to "write a book on proof theor... Vollständige Beschreibung
? points 180 b
73.59 inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht


Kunden kauften auch


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".

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Proof Theory
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2008
Anzahl der Seiten 369
EAN 9783540693185
ISBN 3540693181
Libristo-Code 01567887
Gewicht 590
Abmessungen 157 x 234 x 21
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


Supping With Panthers Tom Holland / Buch Broschur
common.buy 32.39
Modular Functions of One Variable IV B.J. Birch / Buch Broschur
common.buy 28.69
House of Commons Papers, Volume 18 Great Britain Parliament House of Comm / Buch Hardcover
common.buy 34.69
Soviet Century Moshe Lewin / Buch Broschur
common.buy 30.39
Philosophical Introduction to Theology J. Deotis Roberts / Buch Broschur
common.buy 26.59
French Revolution Ian Davidson / Buch Broschur
common.buy 10.99
Ethics in the Virtual World Garry Young / Buch Broschur
common.buy 52.99
Inca Empire Dr David M Jones / Buch Hardcover
common.buy 18.19
12 Principles for Raising a Child with ADHD Russell A. Barkley / Buch Broschur
common.buy 11.49
Top
Light Ages Seb Falk / Buch Broschur
common.buy 12.49
Tops Michael T. Gilbert / Buch Hardcover
common.buy 44.39
Leopard Jo Nesbo / Hörbuch MP3
common.buy 8.99
Lost Shift: The Wolves of Arcadia Bay AJ Skelly / Buch Broschur
common.buy 10.89
Building Self-Confidence Emeryelle Moore / Buch Broschur
common.buy 12.79
Black Economics Jawanza Kunjufu / Buch Broschur
common.buy 13.89
Quiet Talks on John's Gospel S. D. (Samuel Dickey) Gordon / Buch Broschur
common.buy 11.59
Tomb of Unisankh at Saqqara and Chicago Pavel Onderka / Buch Broschur
common.buy 95.59
Starting with Hegel Craig B. Matarrese / Buch Broschur
common.buy 31.19

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?