RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Visser Albert

Доклады и лекции в базе данных Math-Net.Ru

  1. Interpreters as consistoids (continuation)
    A. Visser
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    20 декабря 2021 г. 18:30   
  2. Interpreters as consistoids
    A. Visser
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    22 ноября 2021 г. 18:30   
  3. Löb's principle for pair theories
    A. Visser
    Logical Perspectives 2021: Conference
    7 июня 2021 г. 16:00   
  4. Cyclic Henkin Logic (continuation)
    A. Visser
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    21 декабря 2020 г. 18:30
  5. Cyclic Henkin Logic
    A. Visser
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    14 декабря 2020 г. 18:30   
  6. The second incompleteness theorem revisited
    A. Visser
    Workshop on Proof Theory, Modal Logic and Reflection Principles
    20 октября 2017 г. 12:15   
  7. What is Goedel’s Second Incompleteness Theorem?
    Prof. Dr. Albert Visser
    Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
    19 октября 2017 г. 16:00   
  8. What is Gödel's second incompleteness theorem?
    A. Visser
    Workshop on Proof Theory, Modal Logic and Reflection Principles
    19 октября 2017 г. 16:00


© МИАН, 2025