Daniel Velleman has written Calculus: A Rigorous First Course. It seems to me that it's questionable whether such a course should be used for all but a small number of students, not just because most will never appreciate logical rigor, but because there's so much stuff they may appreciate that ...