Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

by R. Kahle

Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354042752X
• ISBN13: 9783540427520
• Release Date: September 2001
• Publisher: Springer
• Length: 246 Pages
• Weight: 0.80 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"