Logic In Computer Science Solutions