Mathematical Logic, 1st year tutorial, Faculty of Mathematics and Computer Science, University of Bucharest, Spring Semester, 2025-2026