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

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

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

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Робинсон А.
Format:	Bog
Udgivet:	NCFU
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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