Logics for Computer Science More Books Like This