RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Visser Albert

В базах данных Math-Net.Ru
Лекций и докладов: 3

Статистика просмотров:
Эта страница:172

http://www.mathnet.ru/rus/person35659
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Доклады и лекции в базе данных Math-Net.Ru
1. The second incompleteness theorem revisited
A. Visser
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 12:15   
2. What is Goedel’s Second Incompleteness Theorem?
Prof. Dr. Albert Visser
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
19 октября 2017 г. 16:00   
3. What is Gödel's second incompleteness theorem?
A. Visser
Workshop on Proof Theory, Modal Logic and Reflection Principles
19 октября 2017 г. 16:00

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017