Good cites. I second them. Mackay and Jaynes are excellent but can get out of hand quickly. Duda, Hart and Stork is another good hardcore option. When I need the book "for dummies," which is pretty often, the Weka book and Mitchell's Machine Learning are helpful.
