Analysis with an Introduction to Proof: Pearson New International Edition van Steven R. Lay is een Engelstalig studieboek over real analysis en mathematical proof.
Het boek ondersteunt de overgang van computationele wiskunde naar abstract reasoning en behandelt logic, proof techniques, sequences, limits, continuity en andere fundamenten van real analysis. Geschikt voor studenten mathematics die een eerste rigoureuze cursus analysis volgen. ISBN 9781292040240.