İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

Математический интуиционизм. Введение в теорию...

Main
Математический интуиционизм. Введение в...

Математический интуиционизм. Введение в теорию доказательств

Драгалин А.Г.

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

İl:

1979

Nəşriyyat:

Наука

Dil:

russian

Səhifələr:

256

Seriyalar:

МЛОМ

Fayl:

DJVU, 3.11 MB

IPFS:

,

russian, 1979

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Драгалин А. Г. — Математический интуиционизм. Введение в теорию доказательств

Линдон Р. — Заметки по логике

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

Манин Ю.И. — Доказуемое и недоказуемое

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

Коротков М.А.;Котов В.М.;Степанов Е.О. — Математическая логика и основы теории алгоритмов

Фейс Р. — Модальная логика

Расёва Е., Сикорский Р. — Математика метаматематики

Таванец П.В. (ред.) — Проблемы логики [Сборник статей]

Кейслер Г., Чэн Ч.Ч. — Теория моделей

Нагел Э., Саппс П., Тарский А. (ред.) — Математическая логика и ее применения

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

Ганичева А. В. — Теория логического вывода: Учебное пособие

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

Шенфилд Д. — Математическая логика

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

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

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

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

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

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

Манин Ю.И. — Доказуемое и недоказуемое

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

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

Фролов И.С. — Элементы математической логики

Маркин П.М. — Математическая логика

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

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

Михайлов А.И. (ред.) — Семиотика и информатика. Выпуск 17

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

Фейс Р. — Модальная логика

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

Пузаренко В.Г. — О вычислимости над моделями разрешимых теорий