by A. S. Troelstra
"This introduction to the basic ideas of structural proof theory contains a through discussion and comparison of various types of formalization of first-order logic. Examples are given of several a…