Об одной категории частично рекурсивных функций
А.Н. Дёгтев (1980)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике”
Об одной категории частично рекурсивных функций
Представления частично упорядоченных множеств
Л.А. Назарова, А.В. Ройтер (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Сводимость частично-рекурсивных функций
А.Н. Дегтев (1975)
Sibirskij matematiceskij zurnal
Similarity:
Некоторые вопросы теории рекурсивных функций.
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
К теории частично упорядоченных систем конечных множеств
А.Г. Курош ([unknown])
Matematiceskij sbornik
Similarity:
Об измеримости множеств по Лебегу в конструктивной математике
Osvald Demuth (1969)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Один подход к построению конструктивных аналогов теории множеств
Л.Н. Гордеев (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
В.А. Любецкий (1991)
Algebra i Logika
Similarity:
О типах сходства и изоморфизма частично рекурсивных функций.
Е.А. Поляков (1995)
Sibirskij matematiceskij zurnal
Similarity: