Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof Theory

Name: Proof Theory
Brand: Springer, Berlin
SKU: 01567887
Price: 30661 HUF
Availability: InStock
Author: Wolfram Pohlers
ISBN: 9783540693185

The First Stepinto Impredicativity

Wolfram Pohlers

Language

English

Book Paperback

Libristo code: 01567887

Publishers Springer, Berlin, October 2008

This book verifies with compelling evidence the author s inclination to "write a book on proof theor... Full description

Libristo code: 01567887

210 b

30 661 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Auslander als Marketing-Zielgruppe Fatma Tanis

Paperback

9 674 Ft

Julià Mateu Busquets i Font

Paperback

8 901 Ft

Premier League 2026 Stickers Eco Pack

Stationery items

3 442 Ft

Le temps retrouve (A la recherche du temps perdu 7) M. Proust

Paperback

4 377 Ft

10 ans d'annales corrigées aux épreuves d'anglais des grandes écoles scientifiques Cascade

Paperback

11 575 Ft

Festival Poisson-Quinton

Paperback

8 933 Ft

Demon Copperhead Kingsolver Barbara

Paperback

4 216 Ft

spettacolo del male. Da «Squid Game» al «true crime»: perché abbiamo bisogno di mostri Lucrezia Ercoli

Paperback

9 692 Ft

Historia En Cubierta. El Fondo de Cultura Economica a Traves de Sus Portadas (1934-2009) Marina Garone Gravier

Paperback

15 528 Ft

EMPRUNT LOINTAIN - MARIE OUAZZANI ET NICOLAS CARRIER OLIVEIRA CAROLINE Book

Paperback

8 523 Ft

Stark in Mathematik - Ausgabe 2008. Tl.1 Ludwig Augustin

Sheet

4 303 Ft

Magia en el Antiguo Egipto JAVIER ARRIES

Paperback

7 985 Ft

LA PROVENCE AU MOYEN AGE AURELL/BOYER/CO

Paperback

10 553 Ft

Methoden zur Kontrolle der Logistikplanung Sebastian Witte

Paperback

5 592 Ft

I Love Autumn (Chinese English Bilingual Children's Book - Mandarin Simplified) Kidkiddos Books

Hardback

9 895 Ft

Baeza restaurada Palma Crespo

Paperback

11 050 Ft

Pfeiffersches Drüsenfieber und EBV Sabine Wiesel

Paperback

6 844 Ft

El caballero que tenía el corazón pesaroso : una fábula inolvidable para recuperar la serenidad Marcia Grad

Paperback

6 977 Ft

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