Proof theory : the first step into impredicativity

Proof theory : the first step into impredicativity

Wolfram Pohlers

Berlin : Springer, c2009

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-P76

10008015678

一般図書

詳細情報

刊年

2009

形態

xiii, 370 p. : ill. ; 24 cm

シリーズ名

Universitext

注記

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

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Pohlers, Wolfram [ Pohlers, W ]

分類

DC22:511.36

件名

Proof theory

ISBN

9783540693185

NCID

BA87599069

番号

NBN : GBA886510