Logic in computer science. Solutions to selected exercises
The Art of Problem Solving, Vol. The Basics