From Logic to Practice More Books Like This