I'd suggest a textbook on formal logic with lots of problems to solve.