Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Teaching/Seminars
Seminars
City seminar on Mathematical Logic
Seminar on Discrete mathematics
Seminar on Complexity Theory
Shared Seminar with laboratory of Algorithmic methods
Teaching
Faculty of Mathematics and Mechanics of St. Petersburg State University
Computer Science Club
Computer Science Center
Notes
Notes on "Set Theory" course by A.A. Markov (Jr) scribed by N.N. Vorobiev (Sn) (via. N.N. Vorobiev (Jr))
Notes on "Logic" course by N.A. Shanin scribed by N.N. Vorobiev (Sn) (via. N.N. Vorobiev (Jr))