A bridge to advanced mathematics - Dennis Sentilles (Williams and Wilkins, 1975)
Keywords: Proof theory