Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И.А. Лавров (1963)
Algebra i Logika
Similarity:
И.А. Лавров (1963)
Algebra i Logika
Similarity:
А.Б. Сосинский (1972)
Matematiceskij sbornik
Similarity:
В.В. Вагнер (1960)
Matematiceskij sbornik
Similarity:
А.А. Махнев, Д.В. Падучих (2001)
Algebra i Logika
Similarity:
Г.И. Житомирский (1967)
Matematiceskij sbornik
Similarity:
А.В. Пухликов (1988)
Matematiceskij sbornik
Similarity:
В.Д. Мазуров, Д.Г. Храмцов (1989)
Sibirskij matematiceskij zurnal
Similarity:
В.И. Кругликов (1987)
Matematiceskij sbornik
Similarity:
В.Г. Житомирский (1962)
Sibirskij matematiceskij zurnal
Similarity:
В.М. Петечук (1982)
Matematiceskij sbornik
Similarity:
К.А. Зарецкий (1963)
Matematiceskij sbornik
Similarity:
Н.Н. Нурмеев (1983)
Verojatnostnye metody i kibernetika
Similarity:
Г.И. Житомирский (1970)
Matematiceskij sbornik
Similarity:
Ю.В. Голунков (1982)
Verojatnostnye metody i kibernetika
Similarity:
И.А. Волынец (1994)
Sibirskij matematiceskij zurnal
Similarity:
Б.М. Шайн (1963)
Matematiceskij sbornik
Similarity:
Г.С. Скордев (1970)
Matematiceskij sbornik
Similarity: