RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Visser Albert

Statistics Math-Net.Ru
Presentations: 3

Number of views:
This page:171

http://www.mathnet.ru/eng/person35659
List of publications on Google Scholar
List of publications on ZentralBlatt

Presentations in Math-Net.Ru
1. The second incompleteness theorem revisited
A. Visser
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 12:15   
2. What is Goedel’s Second Incompleteness Theorem?
Prof. Dr. Albert Visser
Steklov Mathematical Institute Seminar
October 19, 2017 16:00   
3. What is Gödel's second incompleteness theorem?
A. Visser
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 19, 2017 16:00

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017