Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
В.А. Любецкий (1991)
Algebra i Logika
Similarity:
В.А. Любецкий (1991)
Algebra i Logika
Similarity:
А.А. Ляпунов (1947)
Matematiceskij sbornik
Similarity:
Ю.М. Важенин (1988)
Sibirskij matematiceskij zurnal
Similarity:
Е.Б. Кинбер (1974)
Algebra i Logika
Similarity:
В. Шмушкович ([unknown])
Matematiceskij sbornik
Similarity:
М.А. Фрумкин (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Е.И. Гордон (1989)
Sibirskij matematiceskij zurnal
Similarity:
P. Todorov (1967)
Matematički Vesnik
Similarity:
Л.Н. Гордеев (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
М.И. Зеликин (1991)
Matematiceskij sbornik
Similarity:
В.А. Шлык (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity:
А.Г. Пинус (1972)
Sibirskij matematiceskij zurnal
Similarity:
А.А. Ляпунов, A.A. Ljapunov, A.A. Lǎpunov, A.A. Ljapunov, A.A. Ljapunov (1963)
Algebra i Logika
Similarity:
Л.И. Каплан (1978)
Sibirskij matematiceskij zurnal
Similarity: