Об исследовании конструктивных функций методом заполнений
В.А. Лифшиц (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О конструктивных аналитических функциях одной вещественной переменной”
Об исследовании конструктивных функций методом заполнений
Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О конструктивных группах
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Словарные операторные алгорифмы
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые примеры квазиплотных, но не плотных множеств дуплексов
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Проблема разрешимости для некоторых конструктивных теорий равенства
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
M.M. Кипнис (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
В.А. Лифшиц, В.П. Чернов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Связь интегрируемости конструктивных функций по Риману и по Лебегу
O. Демут (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О системе операторов, упрощающих теорию сочетаний К-алгорифмов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые замечания о поиске вывода в исчислении предикатов
Г.В. Давыдов (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Дедуктивная общезначимость и классы сведения
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity: