Basic Logic: The Fundamental Principles of Formal Deductive Reasoning