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

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

Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...

Сохранить в:

書目詳細資料
主要作者:	Робинсон А.
格式:	圖書
出版:	NCFU
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Чарли Чаплин
由: Робинсон Д.

Как стать переводчиком
由: Робинсон Д.

Правовое регулирование природопользования и охраны окружающей среды в США
由: Робинсон Николас А.

Литература Древней Руси в литературном процессе средневековья ХI-XIII вв.
由: Робинсон А. Н.

Житие Аввакума и другие его сочинения
由: Робинсон А. Н.

Космология
由: Майкл, Роуэн-Робинсон

Введение в теорию полупроводников
由: Ансельм А. И.
出版: (2022)

Введение в теорию композиции
由: Никитенков С. А.
出版: (2019)

Введение в теорию перевода
由: Федоров А. В.

Введение в теорию эволюции
由: Северцов А. С.

Введение в теорию чисел
由: Галочкин А. И.

Введение в теорию полупроводников
由: Ансельм А. И.

Введение в теорию катастроф
由: Алексеев Ю. К., и др.

Введение в теорию вероятностей
由: Колмогоров А. Н., и др.

Введение в теорию матриц
由: Беллман Р., и др.

Введение в теорию колебаний
由: Стрелков С. П.

Введение в теорию колебаний
由: Стрелков С. П.

Введение в теорию колебаний
由: Малов Н.Н

Введение в теорию эволюции
由: Тыщенко В. П.

Введение в теорию журналистики

Введение в теорию журналистики
由: Прохоров Е. П.

Введение в теорию вероятностей
由: Пугачев В. С.

Введение в теорию металлов
由: Френкель Я. И.

Введение в теорию относительности
由: Курганов В.

Введение в теорию групп
由: Александров П. С.

Введение в теорию ошибок
由: Тейлор Дж

Введение в теорию оценивания
由: Куллдорф Г.

Введение в теорию Морса
由: Постников М. М.

Введение в теорию игр
由: Мак-Кинси Дж

Введение в спектральную теорию
由: Левитан Б. М., и др.

Введение в теорию журналистики
由: Прохоров Е. П.

Введение в теорию групп
由: Александров П. С.

Введение в теорию вейвлетов
由: Смоленцев, Н. К.

Введение в теорию солитонов
由: Новокшенов, В. Ю.

Введение в теорию журналистики
由: Прохоров Е. П.

Введение в теорию журналистики
由: Прохоров Е. П.

Введение в теорию журналистики
由: Прохоров Е. П.

Введение в теорию журналистики
由: Прохоров Е. П.

Введение в теорию групп
由: Александров П. С.

Введение в теорию воспитания
由: Козлова О. Н.