Seminars: L. D. Beklemishev, О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)

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)
May 12, 2015 18:30–20:05, Moscow, Steklov Mathematical Institute

О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)

L. D. Beklemishev

Number of views:
This page:	308