Basic proof theory

"This introduction to the basic ideas of structural proof theory contains a through discussion and comparison of various types of formalization of first-order…

Open Basic proof theory on INTEXT (intextdb.com).