籌款 9月15日 2024 – 10月1日 2024 關於籌款

Введение в теорию моделей и метаматематику алгебры

Main
Mathematics - Logic
Введение в теорию моделей и...

Введение в теорию моделей и метаматематику алгебры

Робинсон А.

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Mathematics - Logic

年:

1967

出版商:

Наука

語言:

russian

頁數:

376

系列:

Математическая логика и основания математики

文件:

DJVU, 2.75 MB

IPFS:

,

russian, 1967

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Кутасов А. Д. — Элементы математической логики

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

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

Ивс Г., Ньюсом К.В. — О математической логике и философии математики

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

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

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

Калужнин Л.А. — Элементы теории множеств и математической логики в школьном курсе математики. Пособие для учителей

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

Зарисский О., Самюэль П.(Zariski, Samuel) — Коммутативная алгебра. Т.1

Н. В. Зорькина — Математика. Основы дискретной математики: Учебное пособие

Блатов И. А., Старожилова О. В. — Математическая логика и теория алгоритмов: Учебное пособие

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Gustavo Ernesto Pineiro — Гёдель: теоремы о неполноте

Столяр А. А. — Элементарное введение в математическую логику. Пособие для учителей

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

Столяр А. А. — Логическое введение в математику

Тарский А. — Введение в логику и методологию дедуктивных наук

Тарский А. — Введение в логику и методологию дедуктивных наук

— Гёдель: Теоремы о неполноте

Робинсон А. — Введение в теорию моделей и метаматематику алгебры

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

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

Тарский А.(Tarski A.) — Введение в логику и методологию дедуктивных наук

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

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

Калужнин Л.А. — Что такое математическая логика

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

Мунасыпов Н.А. — Учебное пособие по Дискретной математике

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

Кутасов А.Д. — Элементы математической логики. 9-10 классы

Фрейденталь Х. (Freudenthal H.) — Язык логики

Калужнин Л.А. — Что такое математическая логика?

最常見的術語

множество

множества

высказывание

высказываний

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

существует

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

содержит

высказывания

элементов

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

выводимо

непротиворечиво

отношения

отношений

элементы

расширение

предикат

отношение

принадлежит

структуры

предикатов

согласно

обозначим

некоторого

допустим

являются

бесконечно

показать

кванторов

индивиды

подмножество

предположим

объектов

相關書單