Fundraising September 15, 2024 – October 1, 2024 About fundraising

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

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

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

Шанин Н.А.

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Mathematics - Logic

Year:

1955

Publisher:

АН СССР

Language:

russian

Pages:

113

Series:

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

File:

DJVU, 1.84 MB

IPFS:

,

russian, 1955

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Матросов В.Л., Мирзоев М.С. — Математическая логика. Учебник для бакалавриата

Ю. А. Шиханович — Логические и математические исчисления: учебное пособие

Ю.Л. Ершов, Е.А. Палютин — Математическая логика

Most frequently terms

исчислении

выводима

выводимы

восполнения

операции

операция

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

алгорифм

процесса

алгорифма

формулой

исчисление

восполнений

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

порождающих

применения

переменных

определение

являются

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

дальнейшем

восполнима

исчисления

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

определения

качестве

некоторого

порождающие

переменная

погружающая

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

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

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

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

вхождения