Contributions

  • Reinhard Kahle (Editor) - Contributor
  • Peter Schroeder-Heister (Editor) - Contributor
  • Robert Stärk (Editor) - Contributor

Publication

2001-12-06 - Springer

Language

English

Word Count

59,750 words, Guess

Page Count

239 pages

Physical Format

Paperback

Identifiers

and 2 more
  • LibraryThing6273594
  • Goodreads2234217

Classifications

  • LCCQA76.9.A96 P753 2001

Subjects

Other Editions

  • Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)PaperbackSpringer2001-12-06

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!