Logic Book, A: Fundamentals of Reasoning