RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PERSONAL OFFICE
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
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 3, 2012
18:30
, 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:
This page:
45
SHARE:
Contact us:
math-net2018_01 [at] mi.ras ru
Terms of Use
Registration
Logotypes
©
Steklov Mathematical Institute RAS
, 2018