Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Некоторые примеры квазиплотных, но не плотных множеств дуплексов”
Замечаниe об областях определения конструктивных функций
Словарные операторные алгорифмы
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые замечания о поиске вывода в исчислении предикатов
Г.В. Давыдов (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
M.M. Кипнис (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О системе операторов, упрощающих теорию сочетаний К-алгорифмов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О конструктивных аналитических функциях одной вещественной переменной
В.А. Лифшиц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Связь интегрируемости конструктивных функций по Риману и по Лебегу
O. Демут (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Построение основных операторов теории сочетаний К-алгорифмов из операторов простых типов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
К тридцатилетию Сибирского отделения АН СССР.
([unknown])
Sibirskij matematiceskij zurnal
Similarity:
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике
Н.А. Шанин (1995)
Zapiski naucnych seminarov POMI
Similarity:
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)
Algebra i Logika
Similarity:
Полные конструктивные множества с равенством и некоторые их свойства
В.А. Шурыгин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О сложности алгоритмов сведения в конструкциях Новикова-Буна.
Б.А. Трахтенброт (1969)
Algebra i Logika
Similarity:
Сложность вычисления псевдослучайных последовательностей.
В.Н. Агафонов (1968)
Algebra i Logika
Similarity: