LOGICS FOR COMPUTER SCIENCE