List of seminars
Archive by years
Register a seminar
You may need the following programs to see the files
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 3, 2012
, Moscow, MSU, auditorium 16-04
Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory.
A. G. Vladimirov
Number of views:
math-net2018_07 [at] mi.ras ru
Steklov Mathematical Institute RAS