Seminars: Kolmakov E.A., Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)

Seminars

RUS ENG

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

Seminars "Proof Theory" and "Logic Online Seminar"
February 20, 2017, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk

Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)

Kolmakov E.A.

Number of views:
This page:	137