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, c2011

Details

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