Used this text for my Introduction to Proofs course I took this summer. Good quality text and exercises are pretty good.