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

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

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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Робинсон А.
Format:	Książka
Wydane:	NCFU
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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