HOME | Math-Net.Ru | Scopus
My CV Publications Preprints Talking

Slides

  • On (Propositional) Natural Deduction
  • A Bit More of Propositional Classical Logic
  • Concerning Axiomatizability (and Non-Standard Models)
  • Slides 1 %2021-02-11
  • Slides 2 %2021-02-18
  • Slides 3 %2021-02-25
  • Slides 4 %2021-03-04
  • Slides 5 %2021-03-11
  • Slides 6 %2021-03-18
  • Slides 7 %2021-03-25
  • Slides 8 %2021-04-01

Exercises

  • Exercises %updated 2020-03-10

Examination

  • Schedule
  • Examination rules
  • Examples of short questions

Address: 8 Gubkina St., Moscow 119991, Russia