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

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

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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Робинсон А.
Fformat:	Llyfr
Cyhoeddwyd:	NCFU
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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