Kahle, Reinhard (Ed.)
Advances in proof theory
Zwitzerland : Birkhäuser, 2016. xii, 425 p. -- (Progress in computer science and applied logic, 2297-0576 ; vol. 28)
QA9.54 A38