Description: Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people