A logical introduction to proof - Cunningham, Daniel W. (New York Springer, 2012)
Keywords: Proof theory; Mathematical logic