Analysis With an introduction to proof - Lay, Steven R. x; x (New Jersey Prentice Hall, 1990)
Includes
Keywords: Mathematical analysis -- Proof theory