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

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

L. D. Beklemishev

Number of views:
This page:	303