О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.В. Голубев ([unknown])
Matematiceskij sbornik
Similarity:
А.Ю. Солыцин (1992)
Zapiski naucnych seminarov POMI
Similarity:
С.А. Гершгорин ([unknown])
Matematiceskij sbornik
Similarity:
С. Крейн (1968)
Studia Mathematica
Similarity:
В.Н. Дубинин (1990)
Sibirskij matematiceskij zurnal
Similarity:
И.Ю. Рачек, А.Ю. Попович (1982)
Matematiceskie issledovanija
Similarity:
В.И. Слизкий (1975)
Sibirskij matematiceskij zurnal
Similarity:
В.Г. Литвинов (1990)
Matematiceskij sbornik
Similarity:
Т.Ю. Михайлова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Т.А. Балан ([unknown])
Matematiceskie issledovanija
Similarity:
Ю.Б. Фарфоровская (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
М.А. Евграфов (1973)
Matematiceskij sbornik
Similarity:
A.M. Иойшер, А.Ю. Пoпович ([unknown])
Matematiceskie issledovanija
Similarity: