This text was used in the "Math Structures" class at my undergraduate institution (basically an intro to proof writing) and I found it really useful for transitioning from calculus type problems to constructing proofs. I think it meets all your requirements (definitely the first two, and I don't recall there being a great deal of historical\philosophical digressions).
