A logical introduction to proof - Cunningham, Daniel W (New York, Springer, 2012)
Keywords: MATHEMATICS; CALCULUS; ALGEBRA