Learning to Reason: An Introduction to Logic, Sets, and Relations