RUS
ENG
Full version
VIDEO LIBRARY
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
Language:
English
©
Steklov Math. Inst. of RAS
, 2024
