Applied proof theory : proof interpretations and their use in mathematics

Author(s)

• Kohlenbach, U. (Ulrich)

Bibliographic Information

Applied proof theory : proof interpretations and their use in mathematics

U. Kohlenbach

（Springer monographs in mathematics）

Springer, 2008

• : pbk.

Note

Includes bibliographical references (p. [507]-523) and index

Details

• NCID: BC05933720
• ISBN:
  • 9783642096273
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xix, 532 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.54
  • DC22 : 511.3/6
• Subject Headings:
  • LCSH : Proof theory
  • LCSH : Approximation theory
  • LCSH : Nonlinear operators
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA3386797X