Title: Transition to Abstract Mathematics
Subjects: Proof theory, Logic, symbolic and mathematical