ATTENTION: Maintenance still active in the background for approx. 9 minutes. Items that are added to the basket/notepad are only visible once maintenance is complete.
Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Proof Theory

The First Step into Impredicativity
BookPaperback
Ranking2510in
CHF84.00

Description

The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ¨ Wilhelms-Universitat ¨ in Munster ¨ . 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here.
More descriptions

Details

ISBN/GTIN978-3-540-69318-5
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date13/10/2008
Edition1st ed. 1989. 2nd printing 2008
SeriesUniversitext
Pages374 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight1200 g
IllustrationsXIV, 374 p. 5 illus., schwarz-weiss Illustrationen
Article no.6955471
CatalogsBuchzentrum
Data source no.31951297
More details

Series

Author

Wolfram Pohlers (born 1943) is Full Professor and Director of the Institute for Mathematical Logic and Foundational Resarch at the Westfälische Wilhelms-Universität in Münster, Germany. He received his scientific training at the University of Munich where he worked as an Associate Professor from 1980 to 1985. From 1989 to 1990 he was a visiting scholar at the MSRI in Berkley and in 2005 he taught at the Ohio State University in Columbus.

Subjects