A First Course In Logic Otil P by Shawn Hedman