TY - BOOK AU - Lay,Steven R TI - Analysis: an introduction to proof SN - 0130329967 U1 - 515 PY - 1986/// CY - Englewood Cliffs PB - Prentice-Hall KW - Mathematical analysis KW - Proof theory ER -