Handbook of Proof TheoryEdited by
- S.R. Buss
Hardbound, 810 Pages
Published: July 1998
The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences.
Toshiyasu Arai, Bulletin of Symbolic Logic