Structural proof theory

Author(s)

• Negri, Sara
• Von Plato, Jan
• Ranta, Aarne

Bibliographic Information

Structural proof theory

Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta

Cambridge University Press, 2001

• pbk

Note

Includes bibliography (p. 245-249) and indexes

Details

• NCID: BA52073146
• ISBN:
  • 9780521793070
  • 9780521068420
• LCCN: 00040327
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, [Eng.]
• Pages/Volumes: xvii, 257 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.54
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Proof theory