Laboratory of Mathematical LogicLaboratory of Mathematical Logic at PDMI

  • Staff
  • Teaching/Seminars
  • Activities
  • Hilbert's 10th Problem
  • Gallery
  • Contacts

Search

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))
 

Laboratory of Mathematical Logic