Zapiski nauchnykh seminarov LOMI, Volume 8Institut, 1968 - Mathematics |
Contents
Предисловие редактора | 7 |
Демут О Интеграл Лебега и понятие измеримости функций | 21 |
Демут О Связь интегрируемости конструктивных функций | 29 |
13 other sections not shown
Other editions - View all
Common terms and phrases
адв аксиом алфавита аналитическая функция антецедент Будем говорить будем называть будем обозначать буква вершин вещественные числа временных переменных всех всякого входит вхождений вывода в исчислении выводима графа данного дерева поиска вывода диофантово длина доказывается дуплексов есть заметки были доложены знак значения ин-та АН индукцией исчислении высказываний исчисления предикатов К-алгорифмов К-правила каждой квазислова кванторов конструктивной математике которых Лемма логических любого математической логике машины метапеременной множество может можно построить натуральные числа некоторое ниже номер нормальный алгорифм образом одной определения перерабатывающий получается понятия последовательность посредством построения Постулатами правил вывода правилом предикат класса применений правил применим примитивно рекурсивного примитивно рекурсивную функцию проблема Гильберта произвольное ПРЧ Пусть р-множество работе равенства ребро результаты настоящей заметки свойства сегменте секвенции семинаре систему системы дизъюнкций следует слова в алфавите слово вида сложности случае содержащие соответствует список существует ся теории терм типа тогда условие чисел числами Фибоначчи элемент является a₁ Berkeley Logic UNIVERSITY OF CALIFORNIA