Logic in computer science. Solutions to selected exercises