Logic for Computer Scientists/Predicate Logic