Proof theory : an introduction

Author(s)

• Pohlers, Wolfram

Bibliographic Information

Proof theory : an introduction

Wolfram Pohlers

（Lecture notes in mathematics, 1407）

Springer-Verlag, c1989

• : gw
• : us

Note

Bibliography: p. 190-207

Includes index

• NCID: BA07524444
• ISBN:
  • 3540518428
  • 0387518428
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: vi, 213 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.54
  • DC19 : 511.3
  • NDC8 : 410.9
  • NDC8 : 410.8
• Subject Headings:
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA00146586