Proof Theory in Computer Science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 2001 Proceedings

ISBN
9783540427520
$99.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2001
  • x, 246
  • Yes
  • 2183
  • Print
  • QA75.5-76.95