Annotation
Devoted to various not necessarily connected topics in meta-mathematics, non-classical logics and proof theory, like: self-reference and Provability Logic, relations between variants of set theory, combinatorial principles independent of PA, cut elimination and its quantitative aspects, Gentzen's proof of consistency of PA. Some topics are presented by students.