|
|
Logical Perspectives 2018
May 18, 2018 17:50, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
|
|
|
|
|
|
On constructive versions of independence-friendly logic
Sergei P. Odintsov |
Number of views: |
This page: | 231 | Video files: | 66 | Materials: | 36 |
|
Supplementary materials:
presentation.pdf (575.6 Kb)
,
abstract.pdf (204.5 Kb)
Language: English
|
|