Wormshop 2017

Workshop on Proof Theory, Modal Logic and Reflection Principles

Steklov Mathematical Institute, Moscow, Russia
October 17-20, 2017

Program


Address:
Steklov Mathematical Institute
Gubkina 8, 119991 GSP-1 Moscow, Russia
fax. +7-(495)-984-8139
tel. +7-(495)-984-8141
e-mail: wrm17@mi.ras.ru