Proof theory : the first step into impredicativity
著者
書誌事項
Proof theory : the first step into impredicativity
（Universitext）
Springer, c2009
大学図書館所蔵 件 / 全22件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
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
