Pre-Owned Lecture Notes in Computer Science: Proof Theory in Computer Science: International Seminar Ptcs 2001 Dagstuhl Castle Germany October 7-12 2001. Proceedings (Paperback)

Pre-Owned Lecture Notes in Computer Science: Proof Theory in Computer Science: International Seminar Ptcs 2001 Dagstuhl Castle Germany October 7-12 2001. Proceedings (Paperback)

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 has proved useful for metatheoretical purposes as...


Walmart

$69.93
Free Delivery

Go to store
Items per page