Proof theory : the first step into impredicativity

Bibliographic Information

Proof theory : the first step into impredicativity

Wolfram Pohlers

(Universitext)

Springer, c2009

Available at  / 24 libraries

Search this Book/Journal

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

Related Books: 1-1 of 1

Details

  • NCID
    BA87599069
  • ISBN
    • 9783540693185
  • LCCN
    2008930149
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    xiii, 370 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top