Cyclic Henkin Logic (continuation) A. Visser Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 21 декабря 2020 г. 18:30
Cyclic Henkin Logic A. Visser Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 14 декабря 2020 г. 18:30
What is Goedel’s Second Incompleteness Theorem? Prof. Dr. Albert Visser Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 19 октября 2017 г. 16:00