Proof Theory in Computer Science
Subtitle: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
Number of pages: 246
ISBN-13: 9783540455042