Title: An Introduction to the Language of Mathematics
Subjects: Proof theory, Logic, symbolic and mathematical