- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Mathematics
- > basics
Full 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.



