Zettili does a wonderful job of skirting the line between too much formalism and not enough rigor.  The large number of worked out example problems are a real boon to the student, and the topics are covered in a logical order.  Very good introductory text for advanced undergraduates or beginning graduate students (and possibly beyond - I haven't looked over the advanced topics in much detail).