Jerome Keisler's _Elementary Calculus_.  This book uses infinitesimals explicitly, and also in a logically rigorous way, without getting too advanced for first-year undergraduates.