Логический вывод. Сборник статей

Main
Логический вывод. Сборник статей

Логический вывод. Сборник статей

Смирнов В.А., и др. (ред.)

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

عام:

1979

الناشر:

Наука

اللغة:

russian

الصفحات:

313

ملف:

DJVU, 6.15 MB

IPFS:

,

russian, 1979

إقرأ علي الإنترنت

تحميل (djvu, 6.15 MB)

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

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

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

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

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

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

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

Гладкий А.В. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

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

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

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

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

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

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

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

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

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

Таванец П.В. (ред.) — Исследование логических систем

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

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

Клини С.К.(Kleene S.C.) — Введение в метаматематику

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

Эдельман С.Л. — Математическая логика. Учебное пособие для институтов.

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

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

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

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

— Сборник. Исследование логических систем.

Корнеева Н. Н. (Наталья Николаевна) — Математическая логика: конспект лекций

Мальцев А.И. — Избранные труды, в 2-х томах

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

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

Серебрянников О.Ф. — Эвристические принципы и логические исчисления

Серебрянников О.Ф. — Эвристические принципы и логические исчисления

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

أكثر المصطلحات والعبارات المستخدمة

множество

доказательство

существует

исчисления

множества

отношение

переменных

качестве

согласно

исчисление

доказательства

элементов

называется

отношения

следующим

относительно

рассмотрим

получается

являются

некоторых

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

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

следования

выводима