Title: logic and discrete mathematics; a computer science perspective