Methods of cut-elimination

Author(s)

• Baaz, Matthias
• Leitsch, Alexander

Bibliographic Information

Methods of cut-elimination

Matthias Baaz, Alexander Leitsch

（Trends in logic : studia logica library, 34）

Springer, 2011

• : pbk.

Note

Includes bibliographical references (p. 275-281) and index

Details

• NCID: BC18848191
• ISBN:
  • 9789400734975
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: vi, 287 p.
• Size: 24 cm
• Classification:
  • DC22 : 511.3
• Subject Headings:
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA32227531