We study various parts of mathematical logic relevant to interests and background of its participants.
Seminar for students with an interest in mathematical logic.