RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
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








Seminars "Proof Theory" and "Logic Online Seminar"
September 7, 2015 18:30, Steklov Mathematical Institute, Moscow
 


Некоторые новые результаты в монадической арифметике второго порядка

S. O. Speranski

Number of views:
This page:101


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