Basic Notions of Set Theory %SPbSU

• Autumn 2020 [in Russian] (all videos) — Math-Net.Ru
• Autumn 2019 [in Russian]

Mathematical Logic I %SPbSU

• Spring 2021 [in Russian]
• Spring 2020 [in Russian] (some videos) — Math-Net.Ru
• Spring 2019 [in Russian]

Mathematical Logic II %SPbSU

• Autumn 2020 [in Russian]
• Autumn 2019 [in Russian]

Non-Classical Logics %SPbSU

• Autumn 2020 [in Russian]

Algebraic Logic %MI RAS

• Spring 2022 [in Russian] (all videos) — Math-Net.Ru

Discovering Incomputability (Mini Course) %SPbSU

• December 2020 [in Russian]

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

• May 2022 [in Russian] (all videos)

Distibutive Lattices in Algebra and Logic (Mini Course) %KFU

• Slides