The MK IV will drive any of them just fine.
The Pro series is considered to be inferior to the Premium line. They are quite a bit cheaper, but it's usually worth the extra money for the newer versions, which came out in 2005.
The DT880 is known for being quite balanced, but a bit bass light. If you care more about midrange and clarity than anything else, the 880 is what you want. They will all have a similar sound signature, but as you move up through the 32, 250 and 600 ohm versions, the drivers get lighter and faster, which allows the 600 ohm one to deliver higher sound quality, with less brightness in the high end.
With the DT990, you sacrifice some of that beautiful midrange for power at either end. They have some of the best bass I've ever heard from a pair of headphones, but that comes at the cost of a bit of midrange clarity and focus. It's not horribly sucked out, but they are not mid-centric. The 990s also have a tendency towards brightness, which means you should stay away from them if you're allergic to treble. Driven properly, though, especially with tubes, many people around here find the 990/600 to be one of the most musical headphones in its price range. Again, the move up to 600 ohms gives you a bit more balance, better contained treble, and overall clarity.