Proof theory : the first step into impredicativity
Author(s)
Bibliographic Information
Proof theory : the first step into impredicativity
(Universitext)
Springer, c2009
Available at / 24 libraries
-
No Libraries matched.
- Remove all filters.
Note
Originally published in 1989 as v. 1407 of Lecture notes in mathematics
"The kernel of this book consists of a series of lectures on infinitary proof theory which I gave during my time at the Westfälische Wilhelms--Universität in Münster."--Pref.
Bibliography: p. 357-361
Includes indexes