This site contains all the important links and course materials for the course offered by the Logic Department (ELTE) in the spring semester of 2025.