books.google.com - This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists...https://books.google.com/books/about/Handbook_of_Proof_Theory.html?id=MfTMDeCq7ukC&q=formal&utm_source=gb-gplus-shareHandbook of Proof Theory

Get this book in print
## Handbook of Proof Theoryedited by S.R. Buss |