Ballentine is excellent, but it should be your third book on QM, not your first. Griffiths and Isham are good choices for the first two books. However, if you want want to see every relevant theorem stated and proved, you need to study some measure/integration theory and then functional analysis (e.g. Kreyszig or Sunder). After that, I suggest Strocchi.