Lay, Steven R. Analysis with an introduction to proof - 2nd ed. - Englewood Cliffs : Prentice Hall, 1990. - x, 303p. : ill. ; 24cm. Includes bibliography and index ISBN: 0-13-033267-4 Subjects--Topical Terms: Proof theory, Mathematical analysis LC Class. No.: MATH QA300.L428