Новиков П.С. — Конструктивная математическая логика с точки зрения классической :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Конструктивная математическая логика с точки зрения классической

Автор: Новиков П.С.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1977

Количество страниц: 328

Добавлена в каталог: 23.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Формула опровержимая      276
Формула предикатная      173
Формула предикатная общезначимая в топологической интерпретации      204
Формула предикатная общезначимая в топологическом пространстве      205
Формула предикатная топологически общезначимая      205
Формула пропозициональная      13 173
Формула пропозициональная тождественно истинная      19
Формула реализуемая арифметическая      280
Формула реализуемая неарифметическая      281
Формула Роуза      143 306
Формула тождественно истинная в интерпретации (исчисление $\mathfrak K$ )      75
Формула языка классической арифметики с D- и $\mu$ -операторами $(\mathfrak CD\mathfrak{AM})$       235
Формула языка классической арифметики с D- и $\mu$ -операторами элементарная      234
Формула языка классической арифметики с D-оператором $(\mathfrak CD\mathfrak A)$       214
Формула языка классической арифметики с D-оператором элементарная      214
Формула языка конструктивного исчисления высказываний, классически выводимая      71
Формула языка конструктивного исчисления предикатов      183
Формула языка конструктивного исчисления предикатов, выводимая в классическом исчислении предикатов      209
Формула языка логики предикатов      172
Формула языка логики предикатов элементарная      171 183
Формула, монотонно возрастающая (убывающая) по пропозициональной переменной      33 34
Формула, слабо возрастающая (убывающая) по пропозициональной переменной      97
Формула, слабо монотонная по пропозициональной переменной      97
Формулы конструктивно эквивалентные      58
Формулы эквивалентные      37
Фрагмент исчисления      30

Френкель      48 320
Функтор общерекурсивный      259
Функтор примитивно рекурсивный      213
Функтор примитивно рекурсивный местность      213
Функтор частично рекурсивный      233
Функция истинностная      10
Функция истинностная, определяемая пропозициональной формулой      14
Функция общерекурсивная      270
Функция примитивно рекурсивная      225
Функция универсальная      275
Функция универсальная для данного класса n-местных функций      275
Функция частично рекурсивная      270
Функция эффективно вычислимая      227 270
Функция, порождаемая примитивно рекурсивным функтором      270
Функция, порождаемая частично рекурсивным функтором      225
Цепочка дедуктивная      147
Цепочка дедуктивная эффективная      150
Цифра      213
Частный случай формулы языка пропозиционального исчисления      190
Часть формулы      35 97
Чёрч      227 271 272 320
Шанин, Н.А.      48 320
Шенфилд      278 320
Эквивалентность D-формул      103 171 184
Эквивалентность формул      58
Янков, В.А.      317 320

1 2

О проекте