Proof theory : sequent calculi and related formalisms

Author(s)

• Bimbó, Katalin

Bibliographic Information

Proof theory : sequent calculi and related formalisms

Katalin Bimbó

（Discrete mathematics and its applications / Kenneth H. Rosen, series editor）（A Chapman & Hall book）

CRC Press, c2015

• : hardback

Note

Includes bibliographical references (p. 364-374) and index

• NCID: BB1666620X
• ISBN:
  • 9781466564664
• LCCN: 2014022998
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boca Raton
• Pages/Volumes: x, 376 p.
• Size: 24 cm
• Classification:
  • DC23 : 511.36
• Subject Headings:
  • LCSH : Proof theory
  • LCSH : Mathematics
  • LCSH : Set theory
• Parent Bibliography ID:
  • BA25247299
  • BB04603869