Proof Theory. Sequent Calculi and Related Formalisms
- Título:
- Proof Theory. Sequent Calculi and Related Formalisms
- Materia:
- Computer Science; Mathematics & Statistics
- Editor:
- Chapman and Hall/CRC
- Descripción:
- 386 p.
- Identificadores:
- ISBN: 9780429099694
- Colección:
- Taylor Francis