Compact seminar on advanced topics in mathematical and philosophical logic