О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
С.М. Финашин (1991)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О.В. Шалаевскй (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Н.А. Бураго, А.С. Ибатов, П.В. Крауклис, Л.А. Крауклис ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
С.Н. Антонцев (1980)
Zapiski naucnych seminarov Leningradskogo
Similarity:
А.П. Ильиных, A. P. Il'inych, A. P. Il'inyh, A. P. Il'inych (1997)
Algebra i Logika
Similarity:
В.И. Родионов (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.В. Беляев (1993)
Sibirskij matematiceskij zurnal
Similarity:
И.Д. Заславский (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
А.А. Череп (1987)
Algebra i Logika
Similarity:
Ю.Б. Фарфоровская (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
И.С. Понизовский (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Т.А. Балан ([unknown])
Matematiceskie issledovanija
Similarity:
Б.П. Рыбакин ([unknown])
Matematiceskie issledovanija
Similarity:
В.А. Белоногов (2000)
Algebra i Logika
Similarity: