Here is a Logic handout that may be of interest to you.