The Nature of Proof
ISBN-13: 9780672612954