I think for someone more interested in the formal side of things, Strang is definitely a little weird. I bounced right off it, and to this day don't really know what the rows are supposed to be about. Axler was perfect for me. But for developing an intuition for the nitty gritty operations, I think Strang is probably pretty good.