Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
Edición de la obra Proof theory in computer science
| Autor | Reinhard Kahle, Peter Schroeder-Heister |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 6, 2001 |
| Idioma | inglés |
| Páginas | 239 |
| Formato | Paperback |
| ISBN-13 | 9783540427520 |
| ISBN-10 | 354042752X |
| OCLC | 48186794 |
| LCCN |