RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 29, 2014 18:30, Moscow, MSU, auditorium 16-04
 


About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory

V. Kh. Khakhanyan

Number of views:
This page:66


SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017