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

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

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Робинсон А.
Natura:	Libro
Pubblicazione:	NCFU
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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