Proof theory : the first step into impredicativity

書誌事項

Proof theory : the first step into impredicativity

Wolfram Pohlers

(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

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA87599069
  • ISBN
    • 9783540693185
  • LCCN
    2008930149
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin
  • ページ数/冊数
    xiii, 370 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ