Seminars: D. S. Shamkanov, Формальная арифметика на базе логики без правила сокращения

Seminars

RUS ENG

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

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 29, 2016 18:30, Moscow, Steklov Mathematical Institute

Формальная арифметика на базе логики без правила сокращения

D. S. Shamkanov^ab

^a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
^b National Research University "Higher School of Economics" (HSE), Moscow

Number of views:
This page:	163