An Invitation to Formal Reasoning: The Logic of Terms