|
Mathematical Logic Weekly Seminar
|
سمینار هفتگی منطق ریاضی
|
|
|
|
TITLE
|
Provability Logic of Constructive Arithmetic
|
|
|
SPEAKER
|
|
S. Mojtaba Mojtahedi
|
|
|
|
University of Tehran
|
|
|
|
|
|
|
|
TIME
|
|
Thursday, April 27, 2017,
|
|
14:00 - 16:00
|
|
Thursday, May 4, 2017,
|
|
14:00 - 16:00
|
|
Thursday, May 11, 2017,
|
|
14:00 - 16:00
|
|
|
|
VENUE |
| | |
