It's actually not all that useful for Machine learning and is more focused on other aspects of AI. It talks a lot about propositional logic, knowledge representation, etc.