Basic Notions of Set Theory %SPbSU

Mathematical Logic I %SPbSU

Mathematical Logic II %SPbSU

Non-Classical Logics %SPbSU

Algebraic Logic %MI RAS

Discovering Incomputability (Mini Course) %SPbSU

On Kripke's Theory of Truth (2 Talks) %HSE