A Logic Book: Fundamentals of Reasoning