Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 9 of 9

Order by Relevance | Title | Year of publication

Вычислимость частичных функций и перечислимость множеств в арифметике Пеано

И.А. Лавров — 1979

Sibirskij matematiceskij zurnal

Неразрешимость элементарных теорий некоторых колец

И.А. Лавров — 1962

Algebra i Logika

Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий

И.А. Лавров — 1963

Algebra i Logika

Ответ на один вопрос П.Р.Янга.

И.А. Лавров — 1968

Algebra i Logika

Некоторые свойства ретрактов нумерации Поста.

И.А. Лавров — 1974

Algebra i Logika

О базисах алгебр рекурсивных функций

И.А. Лавров; Е.А. Поляков — 1966

Sibirskij matematiceskij zurnal

О вычислимых нумерациях. II.

Ю.Л. Ершов; И.А. Лавров — 1969

Algebra i Logika

Верхняя полурешётка $L (γ)$ .

Ю.Л. Ершов; И.А. Лавров — 1973

Algebra i Logika

Об одном свойстве креативных множеств

И.А. Лавров; I. A. Lavrov; I. A. Lavrov; I. A. Lavrov — 1996

Algebra i Logika

Page 1

Download Results (CSV)