A. S. Troelstra Books
Basic Proof Theory 2ed
By A. S. Troelstra, Troelstra Schwichtenberg
"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...
Read More