Proof theory

Author(s)

• Schütte, K. (Kurt)

Bibliographic Information

Proof theory

Kurt Schütte ; translation from the German by J.N. Crossley

（Die Grundlehren der mathematischen Wissenschaften, Bd. 225）

Springer-Verlag, c1977

• : pbk

Other Title

Beweistheorie

Note

Translation of Beweistheorie, rev. ed. Originally published as Beweistheorie: Berlin : Springer, 1960. (Die Grundlehren der mathematischen Wissenschaften ; Bd. 103)

Bibliography: p. [293]-296

Includes index

Details

• NCID: BD05464106
• ISBN:
  • 9783642664755
• LCCN: 76045768
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: ger
• Place of Publication: Berlin ; New York
• Pages/Volumes: xii, 302 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.54
  • DC : 511/.3
• Subject Headings:
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA00007422