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

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

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

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Робинсон А.
Format:	Llibre
Publicat:	NCFU
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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