Wohlgemuth, Andrew. Introduction to proof in abstract mathematics / Andrew Wohlgemuth. - Philadelphia : Saunders College , c1990. - xii, 366 p. ; 25 cm. - The Saunders series. . Includes index. ISBN: 003026782X (pbk.) Subjects--Topical Terms: Proof theory.