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