О некоторых логических проблемах арифметики

Main
Mathematics - Logic
О некоторых логических проблемах...

О некоторых логических проблемах арифметики

Шанин Н.А.

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

వర్గాలు:

Mathematics - Logic

సంవత్సరం:

1955

ప్రచురణకర్త:

АН СССР

భాష:

russian

పేజీల సంఖ్య:

113

పుస్తక శ్రేణి:

Труды Математического института им. В.А.Стеклова (МИАН), т. 43

ఫైల్:

DJVU, 1.60 MB

IPFS:

,

russian, 1955

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

— Проблемы кибернетики, вып.03

Новиков П.С. — Элементы математической логики

Новиков П. — Элементы математической логики

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Михайлов А.Б., Рыжова Н.И., Швецкий М.В. — Упражнения по основам математической логики. Формальные системы первого порядка

Шанин Н.А. — О конструктивном понимании математических суждений (статья)

Шанин Н.А. — О некоторых логических проблемах арифметики

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

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

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Смирнов В.А. — Формальный вывод и логические исчисления

Клини С.К.(Kleene S.C.) — Математическая логика

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. — Дискретный анализ. Формальные системы и алгоритмы

Михайлов А.Б., Швецкий М.В — Лекции по основам математической логики. Формальные системы первого порядка

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

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

Глушков В.М. — Введение в кибернетику

Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]

Шанин Н.А. — О некоторых логических проблемах арифметики

Глушков В.М. — Введение в кибернетику

Шанин Н.А. (ред.) — Проблемы конструктивного направления в математике

Волохович А.В. — Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач

Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. — Логический подход к искусственному интеллекту: от классической логики к логическому программированию

Нагель Э., Ньюмен Дз.Р.(Nagel, Newman) — Теорема Геделя

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Бесценный И.П., Бесценная Е.В. — Математическая логика: учебное пособие

Герасимов А.С. — Курс математической логики и теории вычислимости

Смирнов Владимир Александрович — Теория логического вывода

Ю. И. Журавлёв, Ю. А. Флёров, М. Н. Вялый — Дискретный анализ. Формальные системы и алгоритмы

కీలక పదబంధాలు

исчислении

выводима

выводимы

восполнения

операции

операция

следовательно

процесса

алгорифм

алгорифма

формулой

исчисление

восполнений

арифметических

порождающих

применения

переменных

определение

являются

соответственно

дальнейшем

исчисления

восполнима

конструктивное

определения

качестве

некоторого

погружающая

порождающие

арифметическое

вхождения

переменная

порождающего

развертывания

элементарных