Video library: S. L. Kuznetsov, $\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 15:05–15:40, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor

$\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини

S. L. Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow